Ilya Kaysin | Department of Computer Science and Technology

skip to content

Research

Software Verification
Concurrency
Interactive Theorem Proving
Algorithms
Type Theory
Weak Memory Models

Themes

Programming Languages, Semantics and Verification