Jenna Divincenzo
Publicity Chair at Purdue University Elmore Family School of Electrical and Computer Engineering
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 (16)
frama-c9
eclipse-plugin9
eye-tracking9
implicit8
intermediate7
artifacts7
verification7
eclipse7
java6
api6
formal-verification6
viper5
creative-commons4
visual-programming-language4
javascript3
Programming languages (4)
Github contributions (5)
jennalwise/graphblas-verif
Jun 2018 - Aug 2018
Formal verification of the GraphBLAS C API implementation by Tim Davis using Frama-C/WP.
Contributions:70 commits, 8 PRs, 72 pushes in 2 months
apigraphblasdavisformal-verificationformal
iTrace-Dev/iTrace
May 2015 - May 2017
Contributions:167 commits, 5 PRs, 94 pushes in 2 years
impliciteclipse-plugintrackingeyeartifacts
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.