David Jansen
Associate Professor
Haidian District, Beijing, China
Summary
👤
Senior🎓
Top SchoolDavid Jansen is an Associate Professor and formal methods researcher with over a decade of experience modeling and verifying computer systems using mathematical and model-checking techniques. He specializes in cost- and reward-aware model checking to answer practical questions like whether a networked system can achieve a task within specified time and cost bounds, and he combines functional and object-oriented modeling perspectives. Based in Beijing at the Institute of Software, Chinese Academy of Sciences, he brings a strong academic track record from European research institutions including Radboud University and Max-Planck-Institut. A seasoned educator in computer science and mathematics, he seeks international, multilingual collaboration to translate high-level technical challenges into robust, measurable solutions. Notably, his work bridges theoretical rigor with applied concerns about performance and resource consumption, making formal methods directly relevant to real-world system design.
10 years of coding experience
19 years of employment as a software developer
Dr., Dr. at University of TwenteDipl.-Math., Dipl.-Math. at University of BernGymnasium Langenthal
German, German, Dutch, English, French, Italian, Latin, classical greek, biblical hebrew
Github Skills (24)
tlaplus10
git-repository10
verification10
model-checking10
circuit7
agda7
dependent-types7
mathematical7
modulo7
coq7
sat-solver7
theorem-proving7
homotopy-type-theory6
sat6
proofs6
Programming languages (3)
Github contributions (5)
dnjansen/FlowSim
Apr 2016 - Apr 2016
Contributions:14 pushes, 1 branch in 6 days
mCRL2org/mCRL2
Jun 2016 - Apr 2022
The Git repository for the mCRL2 toolset.
Contributions:166 commits, 102 pushes, 4 comments in 5 years 11 months
model-checkermodel-checkinggit-repositorymu-calculusterm-rewriting
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.