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.


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.