Skip to ContentSkip to Navigation
Practical matters How to find us H.H. (Helle) Hansen, Prof Dr

H.H. (Helle) Hansen, Prof Dr

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:25 June 2022 11.49 a.m.

Contact information