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 (8)
semantics9
isabelle9
ontology9
typesetting7
certification3
terraform2
infrastructure2
proofs2
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
isabellejsonldtypesettingconventionalformal
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.