Domagoj Stolfa

Research Staff · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Computer ArchitectureProgramming LanguagesSemanticsVerificationSecuritySystems and Networking

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。