Danel Ahman
Associate Professor
Tartu, Estonia
Summary
🤩
Rockstar🎓
Top SchoolDanel Ahman is an Associate Professor of Programming Languages at the University of Tartu with 14 years of research and development experience bridging formal methods and practical compiler infrastructure. He holds a PhD in Theoretical Computer Science from the University of Edinburgh and has held research positions across Europe, including Marie Skłodowska-Curie funding and postdoctoral roles at Ljubljana and Inria. Danel contributes to influential open-source projects such as the F* proof-oriented programming language, where his compiler-focused commits indicate deep expertise in parsing and build tooling. He combines academic rigor with hands-on engineering, informed by internships at Microsoft and teaching experience at Edinburgh, enabling him to turn formal semantics into maintainable, real-world tooling. Colleagues value him for translating complex theoretical ideas into concrete compiler improvements that improve developer trust in verified software.
14 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD, Theoretical Computer Science, Doctor of Philosophy - PhD, Theoretical Computer Science at The University of EdinburghMaster of Philosophy - MPhil, Advanced Computer Science, Distinction, Master of Philosophy - MPhil, Advanced Computer Science, Distinction at University of CambridgeBachelor of Science (BSc), Computer Science, Cum Laude, Bachelor of Science (BSc), Computer Science, Cum Laude at TalTech – Tallinn University of Technology
Github Skills (7)
theorem-proving10
programming-language10
dependent-types10
ocaml10
parserator9
parser9
compiler-design8
Programming languages (7)
Github contributions (5)
FStarLang/FStar
Dec 2017 - Nov 2019
A Proof-oriented Programming Language
Role in this project:
Backend Developer
Backend DeveloperContributions:1 release, 470 commits, 2 PRs in 1 year 10 months
Contributions summary:Danel's commits involve changes to files within the `src/ocaml-output` directory, indicating modifications to the F* code. The changes include edits to files like `FStar_Parser_Dep.ml` and `FStar_Options.ml`, suggesting work related to parsing dependencies and managing options within the F* language's build process. The user appears to be maintaining or improving the F* language's compiler infrastructure.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
danelahman/Normalization-By-Evaluation
Jun 2012 - Apr 2013
Contributions:14 commits in 10 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.