I am an Applied Scientist at Prime Video working on applying automated reasoning techniques. Currently, I am working on developing a code analyzer for Typescript programs based on abstract interpretation.
During my PhD at TU Wien, I was working on developing methods for automatic verification of synchronous fault-tolerant distributed algorithms. From 2020 to 2021, I was a research engineer at Informal Systems, working on formally specifying and verifying blokchain protocols using TLA+. Prior to my PhD, I obtained a MSc in Computer Science form the European Master Program in Computational Logic.
Recent News
- August 2022 Invited talk at [Mentoring Workshop] @ FLoC 2022: I shared my experience of moving to industry after finishing PhD.
- July 2022 Women in Logic Workshop @ FLoC 2022: I presented how we use automated reasoning to analyze Prime Video code.
- September 2021 I joined the Prime Video Automated Reasoning Team in London.
- March 2021 I successfully defended my PhD thesis.
Publications
2022
- Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking, Int. J. Softw. Tools Technol. Transf.
2021
- Ilina Stoilkovska:
Modeling and Verification of Synchronous Fault-Tolerant Distributed Algorithms, PhD Thesis.
- Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Eliminating Message Counters in Synchronous Threshold Automata, VMCAI 2021.
2020
- Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Eliminating Message Counters in Threshold Automata, ATVA 2020.
- Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol, FMBC@CAV 2020.
- Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder:
Tutorial: Parameterized Verification with Byzantine Model Checker, FORTE 2020.
- Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
Tendermint Blockchain Synchronization: Formal Specification and Model Checking, ISOLA 2020.
2019
- Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking, TACAS 2019.
2018
- Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger:
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction, VMCAI 2018.