Zachary Kent
Doctoral Research Assistant at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolZachary Kent is a PhD student and Doctoral Research Assistant at Carnegie Mellon University specializing in programming languages, verification, and parallelism, co-supervised by Guy Blelloch and Stephanie Balzer. With five years of research and industry experience, he has contributed to verified compilers (Petr4 in Coq) and prototyped a JIT for Swift using LLVM at Apple, bridging formal methods and practical compiler engineering. He also has experience building developer-facing tooling and dashboards from internships at IBM and other organizations, and has served as a teaching assistant for theory and PL courses. Known for pursuing auditable, high-assurance systems, he combines deep theoretical grounding with hands-on implementation skills and a track record of shipping reproducible research and prototypes.
5 years of coding experience
2 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Summa Cum Laude, Bachelor of Science - BS, Computer Science, Summa Cum Laude at Cornell UniversityDoctor of Philosophy, Computer Science, Doctor of Philosophy, Computer Science at Carnegie Mellon University
Github Skills (18)
programming-language10
swift10
semantics9
vue8
compiler-construction8
javascript8
agda7
intermediate7
coq7
homotopy-type-theory7
theorem-proving6
binary-tree6
compiler5
formal-semantics5
parallel4
Programming languages (8)
Github contributions (5)
zachary0kent/swift
Jul 2023 - Aug 2023
The Swift Programming Language
Contributions:42 pushes, 23 branches in 1 month
cmuparlay/metaconfigurations
Nov 2024 - Mar 2025
Contributions:64 pushes in 3 months
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.