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

H.H. (Helle) Hansen, Prof

Associate Professor in Logic and Semantics of Computation


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:09 March 2024 7.22 p.m.

Contact information

Office at BernoulliBorg