Helle Hansen
Associate Professor · Logic and Semantics of Computation
University of GroningenNetherlands
About
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.
0Publications listed
Find Helle Hansen elsewhere
Related Searches
You Might Also Like
Helle Hvid HansenUniversity of Groningen · Associate Professor
Adriana BalanUniversity POLITEHNICA of Bucharest · Associate Professor- CClemens KupkeUniversity of Strathclyde · Senior Lecturer
Hans-Christoph KotzschLudwig Maximilian University of Munich · Research Fellow- SStefan MiliusMax Planck Institute for Software Systems · Senior Lecturer
- ZZoé ChristoffUniversity of Groningen · Assistant Professor