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
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (55)
union10
transport10
shamir-secret-sharing10
refactoring10
patch9
plugin9
solver9
coq-plugin9
apl9
code-golf9
coq9
scheme9
grammars9
sat-solver9
relational-algebra9
Programming languages (9)
Github contributions (5)
uwplse/iag-synthesis
Feb 2016 - Sep 2019
Parallel, incremental evaluation of attribute grammars through synthesis
Contributions:289 commits, 114 pushes, 14 branches in 3 years 8 months
grammars
fedora-infra/statscache_plugins
Jun 2015 - Nov 2015
Plugins for the statscache daemon.
Contributions:29 commits, 15 PRs, 8 pushes in 4 months
daemonplugin
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.