I am a tenure-track faculty member at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. Before joining CISPA, I was a Lecturer (Assistant Professor) at the University of Sheffield, UK and at the University of Leicester, UK before that. Prior to that, I held postdoctoral positions at the University of Texas at Austin, and at the Max Planck Institute for Software Systems in Germany. I received my PhD from Saarland University in Germany.


I am looking for motivated and talented PhD students to work with me at my newly established research group. If you would like to work with me, please send me an email explaining your interest in my research.


News

February 2021: I am a PC co-chair of the 14th International Workshop on Numerical Software Verification (NSV 2021), collocated with CAV 2021. Please consider submitting papers and attending.

October 2020: I moved to CISPA Helmholtz Center for Information Security!

June 2020: The paper Probabilistic Hyperproperties of Markov Decision Processes with Bernd Finkbeiner and Hazem Torfah has been accepted at ATVA 2020.

May 2020: I am excited to be joining CISPA Helmholtz Center for Information Security in October 2020 as a tenure-track faculty.

March 2020: Together with Dmitry Chistikov we are organizing a Workshop (collaborative incubator) on Automata and Cyber-Physical Systems taking place at the University of Warwick from 30th March to 1st April (postponed due to COVID-19).

February 2020: The paper Near-Optimal Reactive Synthesis Incorporating Runtime Information with Suda Bharadwaj, Abraham Vinod and Ufuk Topcu has been acepted at ICRA 2020.

January 2020: I have moved to University of Sheffield.

September 2019: I am attending the Dagstuhl seminar Deduction Beyond Satisfiability.

July 2019: I attended CAV 2019 and presented our paper Synthesizing Approximate Implementations for Unrealizable Specifications.

June 2019: The paper Approximate Automata for Omega-regular Languages with Bernd Finkbeiner and Hazem Torfah has been accepted at ATVA 2019.

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.