Hi :)

I am a doctoral student at Max Planck Institute for Software Systems, advised by Prof. 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 .



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.