Jenna Divincenzo
Publicity Chair at PLDI Conference
West Lafayette, Indiana, United States
Summary
👤
Senior🎓
Top SchoolJenna Divincenzo is an assistant professor in electrical and computer engineering at Purdue University with 11 years of experience focused on programming language design and practical software verification. She completed a PhD at Carnegie Mellon’s Institute for Software Research and brings research experience from internships at IBM and MIT Lincoln Laboratory to her academic work. As Publicity Chair for PLDI, she combines deep technical expertise with community leadership in the programming languages research community. Jenna’s background in both mathematics and computer science informs a rigorous, usability-driven approach to language design and verification tooling. Unusually for an academic, she pairs theory with hands-on evaluation of real-world data integrity and performance trade-offs from her earlier industry projects.
11 years of coding experience
Bachelor of Science (BS) with Honors Mathematics and Computer Science, Bachelor of Science (BS) with Honors Mathematics and Computer Science at Youngstown State UniversityDoctor of Philosophy - PhD Computer Software Engineering, Doctor of Philosophy - PhD Computer Software Engineering at Carnegie Mellon University
Spanish, English
Github Skills (9)
eye-tracking8
capi8
frama-c8
ide6
infrastructure6
viper6
formal-verification6
verification5
programming-language2
Programming languages (4)
Github contributions (5)
gradual-verification/silicon-gv
Oct 2020 - Jun 2025
Contributions:10 PRs, 48 pushes, 13 branches in 4 years 8 months
iTrace-Dev/iTrace
May 2015 - May 2017
Infrastructure supporting implicit eye tracking on software artifacts within the IDE and browser.
Contributions:167 commits, 5 PRs, 94 pushes in 2 years
eye-trackingideeyetrackinginfrastructuresuper-repository
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.