Jonas Hinrichsen
Assistant Professor at Aalborg University
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolJonas Hinrichsen is an assistant professor and researcher with 13 years of hands-on experience in software development, specializing in functional programming, type theory, and formalisation. He has progressed from industry roles and game development to PhD and postdoctoral research positions at IT-Universitetet i København and Aarhus University, and now leads research and teaching at Aalborg University. Jonas focuses on improving software quality by translating deep theoretical insights into pragmatic tooling and best practices that help both junior and senior developers. He combines rigorous academic methods with practical engineering experience—an uncommon blend that informs his work on complex model structures and validation techniques. Based in Copenhagen, he is committed to raising the bar for software craftsmanship through education, research, and tangible improvements to how software is built.
13 years of coding experience
8 years of employment as a software developer
Master of Science (MSc) Computer Software Engineering, Master of Science (MSc) Computer Software Engineering at IT-Universitetet i København
Danish, English
Github Skills (14)
coq10
distributed-systems9
dependent-types8
proof-assistant8
algorithms8
theorem-proving8
verification7
c-language6
concurrency6
smt4
ocaml4
cpp3
programming-language3
fstar1
Programming languages (6)
Github contributions (5)
jihgfee/advent_of_code
Dec 2017 - Mar 2025
Contributions:33 pushes, 1 branch in 7 years 4 months
logsem/trillium
Jul 2023 - Oct 2025
The Trillium logic for proving trace refinement properties such as liveness via Iris
Contributions:6 PRs, 104 pushes, 6 branches in 2 years 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.