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

I teach and coordinate two first-year courses in the BSc Computing Science program:

  • Introduction to Logic (CS)
  • Discrete Structures

and a MSc Computing Science course:

  • Modal Logic and Proof Theory  

I was co-lecturing in the MSc Computing Science course:

  • Formal Analysis of Communicating Systems, 2021-2022 (coordinator: Jorge Pérez) 
Last modified:09 March 2024 7.17 p.m.