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 department of Engineering Systems and Services of the Faculty of Technology, Policy and Management>. I am also affiliated with the Applied Logic Group.
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
- The International Symposium on Language, Logic and Computation (TbiLLC 2017) takes place 18-22 Sep 2017 in Lagodekhi, Georgia. The speakers include Sam van Gool, Dexter Kozen, Alexander Kurz, Eric Pacuit, Alex Simpson, and Ana Sokolova. TbiLLC is also known for its great social atmosphere. Participation is highly recommended!
- The post-proceedings of TbiLLC 2015 can be found HERE. The volume contains one of the last papers of Zoltan Esik, and a personal essay for him by Dexter Kozen.
- Algebra and Coalgebra in Computer Science (CALCO 2017) took place 14-16 June 2017 in the wonderful city of Ljubljana, Slovenia. The preproceedings can be accessed via the conference website.
- Our journal paper on Newton series is now published in MSCS.
- Our survey paper on stream differential equations is now published in LMCS.