Burkhart Wolff
Professor at Université Paris-Sud
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolBurkhart Wolff is a full professor at Université Paris-Saclay and head of the VALS/ForTesSE groups at LRI, specializing in formal methods, interactive theorem proving, and model-driven testing. He has pioneered toolchains such as HOL-CSP, HOL-Z, HOL-OCL, HOL-TestGen and HOL-Boogie, applying them to real-world systems including Microsoft’s Hypervisor and network firewalls. His work spans top-down refinement, bottom-up code verification and specification-based testing, bridging theory and practical tool development while remaining an active programmer. Notably, he led efforts that semi-automatically generate executable test drivers from formal HOL specifications, enabling large-scale testing of security-critical filters. With a career across ETH Zurich, Saarland University and Microsoft Research, he brings deep academic rigor coupled with proven impact on industrial verification projects.
8 years of coding experience
4 years of employment as a software developer
Habil, Informatik, Habil, Informatik at Albert-Ludwigs-Universität Freiburg im BreisgauDr, Computer Science, Dr, Computer Science at University of BremenDiplom, Informatik, Diplom, Informatik at Technische Universität Berlin
German
Github Skills (7)
ontology10
isabelle9
git-mirror5
proofs4
certification3
terraform2
infrastructure2
Programming languages (2)
Github contributions (5)
logicalhacking/Isabelle_DOF
Feb 2018 - Dec 2022
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Contributions:605 commits in 4 years 11 months
certificationisabelleisabelle-dof
Burkharrt-Wolff/logipedia-thesis-subject
Feb 2020 - Jul 2021
Contributions:10 pushes, 1 branch in 1 year 4 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.