Helle Hvid Hansen
Delft University of Technology
Tel: +31 (0)15 27 88595 (office)
Office: Room A3.300, TPM (Building 31).
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
- I have the honour of being invited speaker at Algebra and Coalgebra Meet Proof Theory VII (ALCOP 2017) which takes place at the University of Strathclyde 10-12 April 2017.
- The International Symposium on Language, Logic and Computation (TbiLLC 2017) takes place 18-22 Sep 2017 in Lagodekhi, Georgia. Please consider submitting a short paper. (Deadline 1 April 2017.)
- Algebra and Coalgebra in Computer Science (CALCO 2017) takes place 14-16 June 2017 in Ljubljana, Slovenia. Submit a paper and join the main conference on coalgebra. (Deadline 7 April 2017.)
- Our survey paper on stream differential equations is now published in LMCS.