Hi :)

I am a doctoral student at Max Planck Institute for Software Systems, advised by Rupak Majumdar. I try to understand what are the right tools to program multi-robot systems and how to capture users' intent formally (without users speaking the formal langauge).

In parallel, I explore the interplay between automata learning and reinforcement learning.


Advised students

I had a fruitful collaboration with a number of students - they either joined for an internship or I was a co-advisor for some of their university projects.


In the winter semester 2017./2018. I was assisting in teaching of the Concurrency Theory course.

In the winter semester 2016./2017. I was assisting in teaching of the Complexity Theory course.

Imprint / Data Protection