Jozef Hooman

Jozef Hooman was a senior research fellow at ESI (TNO) from 2003 till the end of 2024. In addition, he was a full professor at the Radboud University Nijmegen on model-based development of embedded software. Currently he is retired. He has a background in formal techniques for the specification and compositional verification of reliable real-time systems. Jozef participated in many projects with the Dutch high-tech industry on performance, evolvability, and reliability aspects.