I am a Lecturer (Assistant Professor) at the Department of Informatics at the University of Leicester.
Previously, I was a Research Fellow at The University of Texas at Austin, where I worked with Prof. Ufuk Topcu. Before that I was a postdoc at Max Planck Institute for Software Systems working with Prof. Rupak Majumdar. I obtained my Ph.D. at Saarland University under the supervision of Prof. Bernd Finkbeiner.
April 2019: The paper Synthesizing Approximate Implementations for Unrealizable Specifications with Bernd Finkbeiner and Hazem Torfah has been accepted at CAV 2019.
April 2019: I taught a course on Synthesis of Reactive Systems at the Midlands Graduate School 2019.
February 2019: I am attending the Dagstuhl Seminar Specification Formalisms for Modern Cyber-Physical Systems.
January 2019: Our paper Synthesis of Minimum-Cost Shields for Multi-Agent Systems was accepted at the invited session on Safety Critical Systems at ACC 2019.
September 2018: I gave a keynote talk at S-REPLS 10 in Birkbeck, on the topic of synthesis of surveillance strategies for mobile sensors.
July 2018: Two papers on synthesis of surveillance strategies with Suda Bharadwaj and Ufuk Topcu accepted at CDC 2018.
June 2018: I will be giving an invited talk at the VSTTE 2018 conference in July.
June 2018: The paper Maximum Realizability for Linear Temporal Logic Specifications by Mahsa Ghasemi, Ufuk Topcu and me has been accepted at ATVA 2018. I will also be presenting the work at the SYNT workshop in July in Oxford.
March 2018: I attended the Dagstuhl Seminar Machine Learning and Model Checking Join Forces.