» Research Assistant (Univ.Ass.), PhD student
I am a PhD student under the supervision of Florian Zuleger. I have been on this position since May 2015. I am also affiliated with the LogiCS Doctoral College. Prior to this, I have obtained a MSc in Computer Science form the European Master Program in Computational Logic in September 2014.
I am interested in verification of distributed algorithms. I am currently working on parametrized model checking of distributed algorithms using abstraction.
Technische Universität Wien
Institut für Informationssysteme 184/4
|Room:||HD 03 23 (how to get there)|
|Phone:||+43 (1) 58801 – 740 020|