Skip to the content.

Since May 2023, I am a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany, advised by Prof. Dr. Rupak Majumdar.

Research Interests

My research work focuses on automatically ensuring and increasing the correctness (i.e., soundness and completeness/precision), consistency, and performance of various types of software systems, from program analysis tools (such as static analyzers, SMT solvers, and deductive verifiers) to distributed systems and large language models (LLMs).

Student Projects

I am happy to advise students for their Bachelor or Master theses, practical work, or internships. Some example projects that I currently have available are:

If the project you would like to work on is not in this list, please contact me and we will try to find together a suitable topic.

Education

Publications

Service

Teaching

Advised Students