Chair of Software Modeling and Verification
  • Home
  • News
  • People
    • Thesis Projects
    • Lectures
      • Concurrency Theory
      • Model Checking
      • Probabilistic Programming
    • Publications
    • Projects
    • MOVES seminar
    • Tools
      • PRINSYS - PRobabilistic INvariant SYnthesiS
      • Prophesy
      • Smyle
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  1. Home
  2. News
  3. Katoen member KHMW

Katoen member KHMW

February 10, 2021

Joost-Pieter Katoen has been elected as new member of the Royal Holland Society of Sciences and Humanities. The KHMW was established in 1752 and is the oldest society of sciences in the Netherlands. The official announcement (in Dutch) can be found here:

Benoemingen 2021

Paper in FMSD journal
Katoen named ACM Fellow
© 2026 Chair of Software Modeling and Verification. All Rights Reserved.
  • Privacy Policy
  • Faculty of Computer Science
  • RWTH Aachen