Prof. Dr. Helle Hvid Hansen
Associate Professor and Rosalind Franklin Fellow
- Room number: TBD (Bernoulliborg, building 5161)
- E-mail: h.h.hansen((at))rug.nl
- Previous personal webpage at TU Delft
- Further information: DBLP entry / Google scholar
- Phone numbers
- domestic: (050) 363 XXXX
- international: +31 50 363 XXXX
Current Research Interests
- formal modelling, specification and analysis of systems
- modal logics
- coalgebra and applied category theory