H.H. (Helle) Hansen, Prof
Adjuncthoogleraar in Logic and Semantics of Computation
E-mail:
h.h.hansen rug.nl
Expertise
Logic and semantics of computation, in particular, modal logic, coalgebra, and algebra, and their applications in the formal specification and analysis of software systems.
| Laatst gewijzigd: | 09 maart 2024 19:22 |