Skip to ContentSkip to Navigation
How to find us prof. dr. H.H. (Helle) Hansen

prof. dr. H.H. (Helle) Hansen

Associate Professor


Logic and semantics of computation, in particular, modal logic, coalgebra, and algebra, and their applications in the formal specification and analysis of software systems.
Last modified:08 November 2021 12.48 p.m.

Contact information