معرفی
Domagoj Stolfa is a Research Staff member at the Department of Computer Science and Technology, University of Cambridge. His work focuses on computer architecture, programming languages, and systems security.
- Supervised courses: Hoare Logic and Model Checking, Optimising Compilers, Semantics of Programming Languages, Types
۰مقاله منتشرشده
