معرفی
Ismail Kuru is a Researcher at Drexel University, where he also earned his Ph.D. in Computer Science (2025) under Colin Gordon. His work focuses on Verification, Separation Logic, Type Theory, and Concurrency and Parallelism, with an emphasis on building program logics and proof ergonomics for low-level systems.
Education:
- Ph.D., College of Computing and Informatics, Drexel University (2025)
- M.S., Graduate School of Engineering, Koc University (2015)
Research Themes: Ismail's work bridges mathematical proofs and software systems, particularly operating system kernels. He develops modal logics for state modularity and memory virtualization, using tools like Iris for soundness proofs in concurrent systems. His projects include Contingent Systems Project and Roqc, which focus on kernel verification and proof articulation.
Scientific Awards:
- Graduate School Scholarship (Microsoft Research Europe PhD Scholarship)
- Multiple Microsoft Research and Inria-Paris Visitor Grants
- Travel support for VCLA Winter School and DeepSpec Summer School
Teaching & Service: He served as a TA for Programming Languages and Software Engineering courses. He is a SIGPLAN-M Long Term Mentor, OOPSLA'24 Subreviewer, and has volunteered for conferences like PLDI'18 and RV’12.
