Emmanuel Acevedo
Graduate Researcher
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolEmmanuel Acevedo is a PhD student and graduate researcher in computer science at Cornell University with a decade of experience bridging academic research and industry-grade software engineering. His work focuses on programming language theory and semantics, building on prior graduate research and teaching roles at the University of Pennsylvania and a production engineering track record as a Senior Software Engineer at Strava. He brings practical product experience—from shipping iOS features to mentoring students in advanced programming courses—alongside rigorous formal methods research. Notably, he moved from hands-on engineering at scale to research internships at top universities, signaling an ability to translate real-world system constraints into theoretically grounded solutions. Based in New York, he combines deep technical breadth with a commitment to teaching and collaborative research.
9 years of coding experience
5 years of employment as a software developer
High School Diploma, High School Diploma at Dorado AcademyDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Cornell UniversityMaster of Science in Engineering Computer and Information Science, Master of Science in Engineering Computer and Information Science at University of Pennsylvania
Spanish, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (28)
ghc9
servant9
hackage9
cabal9
compiler-construction8
intermediate8
haskell7
programming-language6
compiler5
jekyll5
gameboy4
transpiler3
theory3
dub3
react3
Programming languages (6)
Github contributions (5)
emmanueljs1/nbe
Feb 2023 - Apr 2024
normalization by evaluation in Agda
Contributions:7 PRs, 141 pushes, 13 branches in 1 year 2 months
emmanueljs1/lambdaboy
Jan 2022 - Jan 2023
gameboy emulator written in Haskell
Contributions:71 commits, 5 PRs, 51 pushes in 11 months
gameboyhaskellemulatorgameboy-emulator
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.