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).

For more info

More info about my reseach can be found here in publications-dblp and publications-google-scholar