About Me
Liam is a junior at Amherst College majoring in Mathematics and Computer Science that enjoys working at the intersection of AI and high performance software. He is a hacker at heart, and loves working on problems across several domains.
Interests
- Artificial Intelligence
- Automated Reasoning
- Formal Methods
Education
BA Mathematics and Computer Science
Amherst College
Visiting Student
Columbia University
Breakthrough Tech AI Fellow
MIT
Certificate in Software Engineering
CodePath
📚 My Research
My research focuses on the intersection of AI and automated reasoning. In particular, I work on using automated reasoning to formally verify the behavior of AI systems, and using automated reasoning to enhance the reasoning capability of AI systems. I also dabble in SAT solving. I am currently advised by Andrew Wu at Amherst College and Mark Santolucito at Columbia University.
Featured Papers
Awards
Y Combinator AI Startup School Fellow
Y Combinator ∙
June 2025
I was selected amongst ~20k applicants as a Y Combinator AI Startup School fellow that led to the opportunity to meet people like Satya Nadella, Fei Fei Li, Andrej Karpathy, and John Jumper.
2nd Prize at 2025 Cubist Hackathon
Cubist Systematic Strategies ∙
April 2025
I won 2nd Prize at the 2025 Cubist Hackathon by Cubist Systematic Strategies and Point72, making me the only every two-time winner of the Cubist Hackathon. I built an advanced data visualization tool for NYC congestion data that serves as an all-in-one EDA playground, as well as streams live data for anomaly detection.
Two Sigma New Seeker’s Summit Fellow
Two Sigma ∙
January 2025
I was selected to participate in Two Sigma’s New Seeker’s Summit to engage with quant developers and researchers at Two Sigma and learn about the firm.
2nd Prize at 2024 Cubist Hackathon
Cubist Systematic Strategies ∙
April 2024
I won 2nd Prize at the 2024 Cubist Hackathon by Cubist Systematic Strategies and Point72 as the only first year undergrad invited amongst Masters and PhD students. For the hackathon, I built Vendor Map, an end-to-end web application that streams live NYC foot traffic data and combines it with game theory principles to optimally allocate food vendors across the city.
Best Use of External Data at ASA Five College Datafest
American Statisticians Association ∙
April 2025
I won best use of external data at the Five College Datafest hosted by the American Statisticians Association the same week I won the 2025 Cubist Hackathon. It was not a bad weekend.
United States National Finalist at the 2025 Hult Prize Startup Pitch Challenge
Hult International ∙
March 2025
I am was named a national finalist for the 2025 Hult Prize by pitching TalentNexus, an personalized AI onboarding experience to go from new hire to high performer.