About
Hi :)
I am a doctoral student at Max Planck Institute for Software Systems, advised by Prof. Rupak Majumdar. I work on building the software stack for multi-robot systems.
If you are a student interested in working on similar topics, let's talk about (summer) research internships .
Publications
- Rely/Guarantee Reasoning for Asynchronous Programs with Filip Niksic, Aditya Kanade, Rupak Majumdar and Viktor Vafeiadis
Teaching
In the winter semester 2016./2017. I assist in teaching of the Complexity Theory course. You can find the list of problems given on tutorials below:
- November 29th, Space complexity and some tricky problems of time complexity, [problems][solutions]
- December 6th, Alternating Turing machines, [problems][solutions]
- December 13th, Randomized computation, [problems][solutions]
- January 10th, proof that Graph-non-Isomorphism ∈ AM (Claim 8.16.1 from the book by Arora and Barak)
- January 24th, Cryptography, [problems][solutions]
- January 31st, a sample exam, [problems][solutions]
- February 7th, a sample exam - continued, [problems][solutions]
- Additional problems, [problems]