Didier Buchs
Prof. Dr. at University of Geneva
Geneva, Geneva, Switzerland
Summary
👤
Senior🎓
Top SchoolDidier Buchs is a Professor of Computer Science at the University of Geneva with over two decades of academic and research experience focused on modeling and verification of complex concurrent systems. He led the development of the CO-OPN formalism and tools for test selection, model checking, and validation—work that spans semantics, modularity, subtyping and code generation. His research blends algebraic object-oriented Petri nets with advanced decision-diagram techniques to support scalable validation and adaptive prototyping. A proven PhD mentor (14 completed, 5 current), he teaches formal methods to undergraduate and graduate students and enjoys collaborating with motivated researchers. Less obvious: he has successfully translated deep theoretical results into practical verification tools used across his projects, bridging formal specification and usable software engineering practices.
10 years of coding experience
9 years of employment as a software developer
Post Doc, Computer Science, Post Doc, Computer Science at Paris-Sud University (Paris XI)PhD, Computer Science, PhD, Computer Science at University of Geneva
English
Github Skills (9)
python6
semantics5
modeling2
verification2
swift1
ios1
science1
computer-science1
minikanren1
Programming languages (2)
Github contributions (5)
cui-unige/semantique
Feb 2018 - Jun 2018
Contributions:20 commits, 20 pushes in 3 months
cui-unige/modelisation-verification-2018
Sep 2018 - Jan 2019
Cours de Master: Modélisation et Vérification
Contributions:13 commits, 12 pushes in 4 months
coursmodpythonmaster
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.