![]() |
Address RU Nijmegen (1 day/week): Institute for Computing and Information Sciences Department of Software Science Faculty of Science Radboud University Nijmegen Mailbox number 47 P.O. Box 9010 NL-6500 GL Nijmegen The Netherlands E-mail: hooman[at]cs[dot]ru[dot]nl |
Address ESI (4 days/week): Embedded Systems Innovation (ESI) by TNO Visiting address: High Tech Campus 25 5656 AE Eindhoven Mail address: P.O. Box 6235 5600 HE Eindhoven The Netherlands E-mail: jozef[dot]hooman[at]tno[dot]nl |
Research interests: Domain Specific Languages. Model-based development of embedded systems. Formal specification and compositional verification of distributed real-time and fault-tolerant systems. Co-simulation of discrete-time and continuous-time models. Combinations of industrial modeling languages with formal methods.
Publications: A number of publications is available on-line; the full list is available in pdf format.
Teaching: