Dr. H.H. (Helle Hvid) Hansen


Helle Hvid Hansen is an former Assistant Professor and a Delft Technology Fellow at the department of Engineering Systems and Services of the Faculty of Technology, Policy and Management. She is also affiliated with the Applied Logic Group in Delft and the Formal Methods group at the Centrum Wiskunde en Informatica (CWI) in Amsterdam.

She received her M.Sc. Mathematics and M.Sc. Computer Science from the University of Amsterdam, and her PhD in Theoretical Computer Science from the VU University Amsterdam. Before coming to Delft in 2014, she worked at the Formal Systems Analysis group (CS dept.) at the Eindhoven University of Technology (TU/e) and at the Foundations Group (CS dept.) at the Radboud University Nijmegen. In 2012, she was awarded a VENI grant from the Netherlands Organisation for Scientific Research (NWO).


Helle Hvid Hansen works on the formal modelling, specification and analysis of systems using coalgebra, category theory and (modal) logics. Her current research includes developing the framework of (dynamic) coalgebraic logics, and applying coalgebraic methods in decision theory and game theory.

  • Design in Networked Systems
    Master Systems Engineering, Policy Analysis & Man.
    ECTS: 5
  • Renewable Energy Systems
    Master Industrial Ecology
    ECTS: 6
  • SEPAM Thesis Project Definition
    Master Systems Engineering, Policy Analysis & Man.
    ECTS: 6
  • Networking
    Master Systems Engineering, Policy Analysis & Man.
    ECTS: 0
  • Hansen, HH, Kupke, C & Rutten, JJMM (2017). Stream differential equations: Specification formats and solution methods. Logical Methods in Computer Science. To Appear.
  • Bakhtiari, Z, Ditmarsch, H van & Hansen, HH (2017). Neighbourhood contingency bisimulation. Proceedings of the Indian Conference on Logic and its Applications (ICLA 2017). Lecture Notes in Computer Science 10119, pp. 48-63. Springer.
  • Bonsangue, MM, Hansen, HH, Kurz, A & Rot, J (2015). Presenting distributive laws. Logical Methods in Computer Science, 11(3), 1-22.
  • Endrullis, J, Hansen, HH, Hendriks, D, Polonsky, A & Silva, A (2015). A coinductive treatment of infinitary term rewriting and equational reasoning. In M Fernandez (Ed.), Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015) (pp. 143-159). Best Paper Award. Leibniz  International Proceedings in Informatics (LIPIcs) 36, pp. 143-159. Dagstuhl: Leibniz-Zentrum fuer Informatik.
  • Hansen, HH & Kupke, C (2015). Weak completeness of coalgebraic dynamic logics. In R Matthes & M Mio (Eds.), Proceedings of the 10th International workshop on Fixed Points in Computer Science (FICS 2015). Electronic Proceedings in Theoretical Computer Science 191, pp. 90-104.
  • Bonsangue, MM, Hansen, HH, Bonchi, F, Panangaden, P, Rutten, JJMM & Silva, A (2014). Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Transactions on Computational Logic, 15(1), 1-29.
  • Hansen, HH, Kupke, C & Leal, RA (2014). Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. Proceedings of Theoretical Computer Science (IFIP-TCS 2014). Lecture Notes in Computer Science 8705, pp. 281-295. Springer.

More publications

Program Committees:

  • Advances in Modal Logic (AiML 2018)
  • Algebra and Coalgebra in Computer Science (CALCO 2017) 
  • The 8th  International Workshop on Logic and Cognition (WOLC 2016)  
  • European Conference on Artificial Intelligence (ECAI 2016)
  • Mathematical Foundations of Programming Semantics (MFPS 2016).
  • Mathematically Structured Functional Programming (MSFP 2016).
  • Trends in Logic XV: Logics for Social Behaviour, 2015.
  • Algebra and Coalgebra in Computer Science (CALCO 2015)
  • Proof, Structure and Computation (LICS-CSL Satellite workshop, 2014)

Organising Committees:

  • European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands.
  • Logics for Social Behaviour 3, ETH Z├╝rich, Switzerland.
  • Workshop on Automata and Coalgebra at the TbiLLC 2015.
  • Algebra and Coalgebra meet Proof Theory VI (ALCOP 2015), Delft, The Netherlands.
  • Workshop on Coalgebras in Quantum Physics, Bellairs Research Institute, Barbados.
  • Representing Streams II, Lorentz Center Leiden, The Netherlands.


  • Co-organiser and lecturer at workshop/course at NASSLLI 2016, Rutgers University.

Helle Hvid Hansen

Assistant Professor

Engineering Systems and Services

Energy and Industry

Priscilla Zwalve-Hanselaar

Research interests:
Formal System Analysis and Specification
Game Theory and Social Choice Theory
Modal Logics of Games and Multi-Agent Ineraction
Automate and Formal Languages
Quantum Computation

Additional information

Person not found

The information is currently unavailable.