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. Also, what is the right way (so, precise and intuitive) to specify tasks for robots.

If you are a student interested in working on similar topics, let's talk about (summer) research internships .


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 am assisting in teaching of the Concurrency Theory course.

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