About

Hi :)

I was a doctoral student at Max Planck Institute for Software Systems, advised by Rupak Majumdar. I graduated with the work exploring applications of formal methods to robotic systems. Currently, I am with Informal Systems, working on formal methods for blockchain software.

Publications

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.

Teaching

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