Ilya Kaysin

Department of Computer Science and Technology

University of Cambridge · United Kingdom

Software VerificationConcurrencyInteractive Theorem ProvingAlgorithmsType TheoryWeak Memory Models

About

Ilya Kaysin is a researcher in the Department of Computer Science and Technology at the University of Cambridge. His research interests include software verification, concurrency, interactive theorem proving, algorithms, type theory, and weak memory models.

Data verified 9/6/2026Source

Student reviews

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