Scholar
Ismail Kuru
Google Scholar ID: lDXIRIYAAAAJ
Drexel University
Citations & Impact
Citations
10
H-index
2
i10-index
0
Publications
9
Co-authors
9
list available
Publications
Resume (English only)
Academic Achievements
- Published several conference and workshop papers, including 'Modal Abstractions for Virtualizing Memory Addresses' (OOPSLA 2024/2025) and 'A Type System for Read-Copy-Update Concurrency' (ESOP 2019). Also published technical reports and a Ph.D. thesis titled 'Modal Abstractions for Operating System Kernels'.
Research Experience
- His Ph.D. research includes Roqc (mostly Iris) proofs for systems such as OS kernels, filesystems, and machine models. Previously, he was a Senior Software Engineer at Crytek.
Education
- Ph.D. from Drexel University in 2025, advised by Colin Gordon; M.S. from Koç University in 2015, supported by a Microsoft Research scholarship.
Background
- Computer scientist with a focus on programming languages, logic, and verification. His work centers on understanding software systems, particularly low-level ones, through mathematical proof. He is interested in building program logics, the ergonomics of specifications within these logics, and, most recently, visualizing (drawing) proofs and specifications for programs.
Miscellany
- No personal interests or hobbies mentioned.
