Domagoj Stolfa | Department of Computer Science and Technology

skip to content

Research Assistant
PhD Student

Themes

Teaching

Throughout my PhD studies, I have supervised the following courses:

Hoare Logic and Model Checking
Optimising Compilers
Semantics of Programming Languages
Types