Scholar
Bart Jacobs
Google Scholar ID: kCLViEMAAAAJ
Professor of Computer Science, Katholieke Universiteit Leuven
Security
Programming Languages
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,956
H-index
29
i10-index
66
Publications
20
Co-authors
0
Publications
3 items
Verifying the Rust Standard Library
2026
Cited
0
Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
2026
Cited
0
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
2026
Cited
0
