H.H. (Helle) Hansen, Prof
Associate Professor in Logic and Semantics of Computation

E-mail:
h.h.hansen rug.nl
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. |