Jan Muehlberg
Professor at K.U.Leuven
Leuven, Flemish Brabant, Belgium
Summary
👤
Senior🎓
Top SchoolJan Muehlberg is a professor and research manager with 15+ years of experience specializing in software security, formal verification, and embedded systems, with current appointments at Université libre de Bruxelles and K.U.Leuven. His work spans security architectures for safety-critical and IoT devices, low-level OS components, and the formal verification of distributed event-driven software through Protected Module Architectures. He combines deep theoretical expertise—model checking, decision procedures, synchronous languages—with practical experience building secure device drivers and secure hardware tooling. Known for bridging rigorous correctness proofs with automated testing and verification practices, he pursues deployable solutions for constrained embedded platforms. Based in Leuven, he retains an uncommon focus on combining formal methods with real-world embedded design constraints to advance trustworthy IoT and safety-critical systems.
15 years of coding experience
5 years of employment as a software developer
MSc, Computer Science, Network Computing, MSc, Computer Science, Network Computing at Brandenburg University of Applied SciencesPhD, Computer Science, PhD, Computer Science at University of York
English, German, Dutch
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
java10
build-script9
security9
formal-verification9
rust9
fortress7
userland7
authentication6
dwarf6
test-suite5
proximity4
hardware4
android-app4
debian3
privacy-protection3
Programming languages (10)
Github contributions (5)
responsible-computing/responsible-computing.github.io
Sep 2022 - Apr 2026
Deadlines of responsible computing venues and journals.
Contributions:3 PRs, 64 pushes, 3 comments in 3 years 7 months
cif-seminars/cif-seminars.github.io
Jun 2020 - Jan 2023
Contributions:216 pushes, 1 branch in 2 years 8 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.