Domagoj Stolfa

Research Staff · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Computer ArchitectureProgramming LanguagesSemanticsVerificationSecuritySystems and Networking

About

Domagoj Stolfa is a research staff member in the Department of Computer Science and Technology at the University of Cambridge. His research interests include computer architecture, programming languages, semantics, verification, security, and systems and networking. During his PhD, he supervised courses on Hoare Logic and Model Checking, Optimising Compilers, Semantics of Programming Languages, and Types.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.