H.H. (Helle) Hansen, Prof

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 Peréz)