About
Helle Hvid Hansen
Radboud University Nijmegen (RUN) and
Centrum Wiskunde en Informatica (CWI),
The Netherlands.
Tel: +31 (0)24 365 2610 (office) / Fax: +31 (0)24 365 2728
Email: helle AT cs.ru.nl
Office: HG 02.514.
I am a postdoctoral researcher at the Research Group Foundations within the Section Intelligent Systems, Institute for Computing and Information Sciences, at the Radboud University Nijmegen. I am also a member of the Foundations of Software Engineering group (SEN3) at the Centrum Wiskunde en Informatica (CWI) in Amsterdam.
My research is funded by the NWO project Behavioural Differential Equations (BDE) in which specification formats for streams and other mathematical structures are investigated using techniques from coalgebra, term rewriting and theorem proving. My general research interests include coalgebraic and algebraic methods in the modelling and specification of systems, (coalgebraic) modal logic, automata theory, game semantics and formal verification. More recently, I have become interested in quantum computing, and in particular in the development of logics for reasoning about quantum system behaviour.