Helle Hansen

Helle Hansen is an Associate Professor in Logic and Semantics of Computation at the University of Groningen, affiliated with the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. She holds a tenured position with ius promovendi (supervision rights).

Education

• PhD in Theoretical Computer Science (2008): Vrije Universiteit Amsterdam & CWI Amsterdam. Thesis: Coalgebraic Modelling: Applications in Automata Theory and Modal Logic
• Double Master's in Mathematics and Computer Science (2004): University of Amsterdam, with theses on multi-agent systems and modal logics.

Research

Focus on coalgebraic methods, modal logic, formal software specification, and applications in automata theory. Key areas include distributive laws, topological structures (Lawvere-Tierney), and agent-based modeling of socio-technical systems.

Awards

• Veni Fellowship (2011–2014) from the Netherlands Organisation for Scientific Research (NWO).

Professional Activities

• Organized workshops like WoLLIC 2023 and CMCS 2022.
• Editorial contributions to conference proceedings in coalgebraic methods and theoretical computing.