| Expertise |
The development of formal methods for the specification, design, and validation of embedded computer systems; To demonstrate and assess the effectiveness of using these methods in the industrial software development process; The analysis of distributed algorithms and protocols, and the theory of real-time and hybrid systems |
| Expertise (NL) |
De ontwikkeling van formele methoden voor specificatie, ontwerp en validatie van ingebouwde ("embedded") computer systemen; Effectiviteit van het gebruik van deze methoden in een industriele context aan te tonen en te beoordelen; De analyse van gedistribueerde algoritmen en protocollen, en op de theorie van real-time en hybride systemen |
| Digital Author ID |
info:eu-repo/dai/nl/07206806X |
| Addition |
Hoogleraar op de functionele leerstoel |Editor Information & Computation; Editor Logical Methods in Computer Science; Lid diverse programmacommissies |
Person