helle hvid hansen

 

(picture of Helle Hvid Hansen)

Helle Hvid Hansen

Delft University of Technology
The Netherlands

Email: h.h.hansen AT tudelft.nl
Tel: +31 (0)15 27 88595 (office)
Office: Room A3.300, TPM (Building 31).



About

I am an Assistant Professor (UD) and a Delft Technology Fellow at the Energy and Industry Section within the department of Engineering Systems and Services of the Faculty of Technology, Policy and Management. I am also affiliated with the Applied Logic Group (TUD) and the Formal Methods group at the Centrum Wiskunde en Informatica (CWI) in Amsterdam.

I do research on the formal modelling, specification and analysis of systems using coalgebra, category theory and (modal) logics. Particular application areas include automata and formal languages, semantics and logics for quantum computation, modal logics of interaction, and game theory. In 2012, I received a VENI grant from the NWO to study Coalgebraic Models of Quantum Systems.

Until Oct 2014, I worked at the Foundations Group (ICIS) at the RU Nijmegen on my VENI project, and before that on the NWO project Behavioural Differential Equations in which specification formats for streams and other mathematical structures are investigated using techniques from coalgebra, term rewriting and type theory. From 2009 to 2011, I was a postdoc in the Formal Systems Analysis group at the Eindhoven University of Technology (TU/e), where I worked on the INESS project which aims to produce a common core of functional requirements for future interlockings in Europe.

News and Activities