Leo Gagnon
Math / Computer Science Student, MIT \'26
- Role
- Undergraduate Researcher at Mit Computer Science And Artificial Intelligence Laboratory Csail
- Location
- Charlotte, NC, US
- LinkedIn followers
- 500 followers
About Leo Gagnon
Programming Languages: Fluent in JavaScript Web Development (Node.js, Express, MongoDB, Heroku) Proficient in C++ for Competitive Programming Proficient in Data Structures and Algorithms Proficient in Python Machine Learning Proficient in Java Proficient in C# and Unity Knowledgeable in Html and CSS Technical Experience: Unix Vim Git / Github
Experience
Undergraduate Researcher
Mit Computer Science And Artificial Intelligence Laboratory Csail
Jan 2023 — Present · Cambridge, MA, US
Working with a team under Professor Chlipala to create a Python‑level language intended for database usage• Program correctness is verified in Coq• Technical Skills: Coq, Programming Languages, Verification
Education
Levine Middle College High School
Associate's degree, Computer Science
Massachusetts Institute of Technology
Bachelor's degree, Mathematics and Computer Science
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.