Nathaniel Yazdani
Programming Languages Researcher at Khoury College of Computer Sciences
Boston, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolNathaniel Yazdani is a programming languages researcher and PhD candidate at Northeastern University with 13 years of hands-on experience spanning research, teaching, and industry internships. He studies the intersection of language design, implementation, and formal methods—applying mechanized proof (Coq/Ssreflect) and constraint solving to verification problems—and works full-time on PL research at STR while contributing to NU PRL projects. His background includes modular, reusable formalizations of concurrent data-structure verification and program synthesis work from his undergraduate thesis, showing a consistent focus on making rigorous theory practically composable. Comfortable both as an instructor and an independent engineer, he brings experience from Red Hat and Intel in building production web tooling alongside deep formal expertise.
13 years of coding experience
2 years of employment as a software developer
Master of Science, Computer Science & Engineering, Master of Science, Computer Science & Engineering at University of WashingtonComputer Science, 3.92 Cumulative GPA, Computer Science, 3.92 Cumulative GPA at Clark CollegeHigh School Diploma, High School Diploma at CAM AcademyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Northeastern University
Github Skills (70)
refactoring10
shamir-secret-sharing10
repair10
transport10
union9
coq9
solver9
coq-plugin9
relational-algebra8
type-theory8
code-golf8
dependent-types8
rosette8
agda8
theorem8
Programming languages (8)
Github contributions (5)
yazman/statscache
Jun 2015 - Nov 2015
Contributions:76 pushes, 44 branches, 1 comment in 4 months
daemonstatisticskeep
uwplse/iag-synthesis
Feb 2016 - Sep 2019
Contributions:289 commits, 114 pushes, 14 branches in 3 years 8 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.