H.H. (Helle) Hansen, Prof

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)