Dr. H.H. (Helle Hvid) Hansen

Profile

Helle Hvid Hansen is an 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).

Research

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
    2016/2017
    Master Systems Engineering, Policy Analysis & Man.
    ECTS: 5
  • Renewable Energy Systems
    2016/2017
    Master Industrial Ecology
    ECTS: 6
  • SEPAM Thesis Project Definition
    2016/2017
    Master Systems Engineering, Policy Analysis & Man.
    ECTS: 6
  • Networking
    2016/2017
    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.

Other:

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

Helle Hvid Hansen

Assistant Professor


Department:
Engineering Systems and Services

Group:
Energy and Industry

Secretary: 
Diones Supriana
Priscilla Zwalve-Hanselaar

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


Additional information

Dr. H.H. Hansen

publicaties
Bekijk de publicaties in Pure
vakken
2016 - CoSEM Thesis Project Definition
2017 - Master Thesis Preparation
2017 - CoSEM Master Thesis
2016 - Networking
2016 - CoSEM Thesis Project Definition
2017 - Renewable Energy Systems
2015 - Renewable Energy Systems
2017 - Design in Networked Systems
2016 - CoSEM Research Challenges
2016 - Design in Networked Systems
2018 - Master Thesis Preparation
2018 - CoSEM Master Thesis
2016 - Renewable Energy Systems
2018 - Renewable Energy Systems
2018 - Design in Networked Systems
2015 - CoSEM Thesis Project Definition
2015 - Networking
2016 - Networking
2019 - Agent-gebaseerd modelleren
2019 - Design in Networked Systems
2019 - CoSEM Master Thesis
2019 - CoSEM Master Thesis
2019 - Renewable Energy Systems
2019 - Design in Networked Systems
2019 - Master Thesis Preparation
2019 - CoSEM Master Thesis
2018 - Agent-gebaseerd modelleren
2018 - Agent-gebaseerd modelleren
2019 - Agent-gebaseerd modelleren