معرفی
Bart Jacobs is an Associate Professor at the Faculty of Engineering Science, KU Leuven, affiliated with the Department of Computer Science and the Distributed and Secure Software (DistriNet) unit. His research focuses on computer program verification, programming languages, and formal methods for ensuring software safety and liveness properties.
- Key Research Areas:
- Modular formal verification of concurrent programs
- Memory safety in Rust with unsafe blocks
- Completeness thresholds for critical software
- Gradual typing and state threads
- Relational reasoning for advanced type systems
Recent Publications highlight his work on verifying fine-grained concurrent modules, unsafe Rust code, and array-traversing programs. His projects span formal verification of safety/liveness properties (2018–2027) and model-driven engineering for adaptive SaaS systems.
- Awards & Memberships:
- Secretary of POC Informatica
- Member of Faculty of Engineering Science Council
- Doctoral Commission member at KU Leuven
Teaching Responsibilities include courses on object-oriented programming, software design, and secure software engineering, reflecting his expertise in foundational and advanced programming concepts.
