I am Ismail Kuru, a PhD student at Drexel University School of Computer Science. I am advised by Dr. Colin S. Gordon. Before, I finished my M.S courses TU Munich and graduated with M.S. degree from Koc University in 2015. Thanks Microsoft Research for supporting me through a Microsoft Research scholarship during my study for the M.S degree.
My research interests lie in,
- Programming Languages (Type Systems for Safe Concurrent Heap Manipulation),
- Program Logics (Separation Logic, Refinement and Modalities),
- Systems (Memory Models, Hypervisor, Filesystems), and
- Concurrency (Transactions, Read-Copy-Update & Other Highly Concurrent Sharing Techniques).