Ilina Stoilkovska
» 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.
Address:
Ilina Stoilkovska
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HD 03 23 (how to get there) |
| Phone: | +43 (1) 58801 – 740 020 |
| Email: | ta.etysrofnull@vokliots |
| Web: | http://forsyte.at/~stoilkovska/ |
