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