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