Domagoj Stolfa

Researcher · Computer Architecture

United Kingdom

About

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

Research fields

Computer Architecture Programming Languages Semantics and Verification Security Systems and Networking

0Publications listed

Domagoj Stolfa

About

Find Domagoj Stolfa elsewhere

Related Searches

You Might Also Like