معرفی
Associate Professor Bart Jacobs is affiliated with the Department of Computer Science at KU Leuven (University of Leuven) in Belgium, where he is a member of the imec-DistriNet research group. His research focuses on Program Verification and Programming Languages, with a significant emphasis on modular verification techniques for concurrent and object-oriented programs.
He has served on program committees for international conferences such as ESOP, POPL, and ECOOP, and has authored numerous papers on topics including separation logic, prophecy variables, VeriFast, and termination analysis. His work addresses theoretical foundations (e.g., category-theoretic approaches to ultra-metric spaces) and practical applications in programming languages like C, Java, and Rust.
Scientific Awards:
- No scientific awards or honors are mentioned in the provided text.
Advising & Mentorship:
- No students are listed in the scraped data.
Labs & Teams:
- Active member of the imec-DistriNet research group, focusing on distributed systems and formal verification.
حوزههای پژوهشی
