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)
-
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 Pérez)
| Last modified: | 09 March 2024 7.17 p.m. |