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 (36)
stateless10
verification10
coq10
trust10
logic10
executable9
proof-assistant9
proofs9
agda9
dependent-types9
mathematical9
distributed-systems9
abstraction9
idris9
formal-verification9
Programming languages (5)
Github contributions (5)
jihgfee/advent_of_code
Dec 2017 - Mar 2025
Contributions:33 pushes, 1 branch in 7 years 4 months
logsem/aneris
Jun 2022 - Jan 2023
Program logic for developing and verifying distributed systems
Contributions:9 reviews, 211 commits, 36 PRs in 7 months
developingcoq-libraryformal-verificationopamseparation-logic
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.