H.H. (Helle) Hansen, Prof

I currently teach and coordinate two courses in the Computing Science program at the UG:

• Introduction to Logic (CS) (first-year BSc course)

• Modal Logic and Proof Theory (first-year MSc course)

I am second examiner for:

• Discrete Structures (first-year BSc course)

• Functional Programming (second-year BSc course)

In the past, I have also taught and/or coordinated the courses:

• Discrete Structures (first-year BSc course), 2020-2024

• Formal Analysis of Communicating Systems (first-year MSc course), 2021-2022