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), 2020-2021, 2021-2022, 2022-2023
  • Discrete Structures, 2020-2021, 2021-2022, 2022-2023

and a MSc Computing Science course:

  • Modal Logic and Proof Theory, 2022-2023  

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

  • Formal Analysis of Communicating Systems, 2021-2022 (coordinator: Jorge Pérez) 
Last modified:03 October 2022 6.41 p.m.