• Lead weekly tutorials that review lecture content through practice exercises• Grade student assignments, tests and exams• Answer questions and concerns from students

• Created a user guide for Isabelle, a robust, poorly documented proof checker.• Developed and documented an Isabelle utility for IP theory.• Presented to my lab at weekly meetings.

• Developed a search engine for addresses of businesses of various classes of trade allowing for reasonable variance and error• Scraped the data in Python 3 and stored all parameters and results in SQL tables• Used SQL to correct nonstandard and errant data harvested

• Collaborated with other interns in teams of two and four to write Python 3 software to optimize the company’s operations for efficiency, including:o Software to scrape US government grant data and export it to Tableau; Increased corporate efficiency by 10 timeso Software to scrape company data from Calendly, organize it, and upload it as leads in Salesforce; Increased corporate efficiency by 10 times, frequently used by front officeo Software to scrape contacts from ZoomInfo and export them to an organized Excel chart. Enabled data collection by using views instead of expensive download credits. Increased corporate efficiency and the corporate database immensely.• Presented work to my supervisors and answered relevant questions• Attended company meetings to learn about its business side