Ilya Kaysin

Department of Computer Science and Technology

University of Cambridge · United Kingdom

Software VerificationConcurrencyInteractive Theorem ProvingAlgorithmsType TheoryWeak Memory Models

简介

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.

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

学生评价

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