Dakotah Lambert
Assistant Professor at Lake Forest College
United States
Summary
👤
Senior🎓
Top SchoolDakotah Lambert is an Assistant Professor and researcher with a decade of software development experience, specializing in Haskell-driven tooling for interactive theorem proving and formal language theory. He combines rigorous academic training—a PhD in Linguistics from Stony Brook—with practical engineering, maintaining well-documented, open-source systems and publishing precise technical reports. His work bridges formal methods and machine learning, developed during research roles in France and the US and refined through teaching appointments at Haverford and Lake Forest College. Outside academia he keeps skills sharp through independent game development and a pragmatic UNIX-oriented programming style. Known for shipping reproducible, auditable software, he brings a blend of theoretical depth and hands-on craftsmanship to both research code and developer tooling.
10 years of coding experience
2 years of employment as a software developer
Bachelor’s Degree, Mathematics and Computer Science, GPA 3.85, Bachelor’s Degree, Mathematics and Computer Science, GPA 3.85 at Earlham CollegeDoctor of Philosophy - PhD, Linguistics, Doctor of Philosophy - PhD, Linguistics at Stony Brook University
Github Skills (69)
ruby9
macos9
finite-state-automata8
linux8
python8
deep-learning8
lexical-analysis8
gpu8
lex8
homebrew8
machine-learning8
package-manager8
dfa8
automata8
lexer7
Programming languages (9)
Github contributions (5)
vvulpes0/Language-Toolkit-2
Apr 2016 - Nov 2022
Contributions:273 commits, 198 pushes, 9 branches in 6 years 8 months
vvulpes0/AOC
Dec 2021 - Dec 2024
Contributions:190 pushes, 1 branch in 3 years
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.