To download lots of historical intraday data, use TAQ – see WRDS access help. Note: This is a massive dataset so will require you to be skilled at working with large datasets.
First, see the Using TAQ Data Efficiently documentation in WRDS.
It can be helpful when first using TAQ to start by using the TAQ Millisecond Tools file.
See more documentation about TAQ in the Manuals and Overviews section.
Intrinio
The Engineering Library provides access to Intrinio, which is particularly useful for undergrad/masters CS students needing lots of tick data for class projects. Learn more about Intrinio's US Historical Intraday prices data.