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.

June 2018: Please consider participating in the SMT 2018 workshop co-located with FLoC 2018, taking place in July in Oxford. We have an exciting program!

April 2018: I gave a keynote talk on Causality Analysis for Concurrent Reactive Systems at the CREST 2018 workshop co-located with ETAPS 2018.

March 2018: I attended the Dagstuhl Seminar Machine Learning and Model Checking Join Forces.