Ilina Stoilkovska
I hold a PhD in Computer Science, specializing in formal verification of distributed algorithms. My experience spans academic research and industry applications of formal methods and automated reasoning techniques.
In industry, I worked as an applied scientist at Prime Video from September 2021 until December 2024, developing static code analysis tools for TypeScript programs, and more recently, exploring applications of LLMs. From January 2020 to April 2021, I was a research engineer at Informal Systems, working on formally specifying and verifying blockchain protocols using TLA+. In academia, while pursuing my PhD degree, I worked as a research assistant at TU Wien, where I developed automated tools for ensuring that synchronous fault-tolerant distributed algorithms behave according to their specifications.
Recent News
- June 2024 SAS 2024: I served on the Program Committee of the 31st Static Analysis Symposium (SAS 2024).
- Spring 2023 LMW@LICS 2023: I was a member of the organizing committee of the 9th Logic Mentoring Workshop (LMW 2023), collocated with the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023).
- Spring 2023 Artifact Evaluation at CAV 2023: I served on the Artifact Evaluation Committee of the 35th International Conference on Computer Aided Verification (CAV 2023).
- April 2023 Invited talk at EMW 2023: I shared my experience of moving to industry after finishing PhD at the ETAPS 2023 Mentoring Workshop.
Publications
2023
- Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder: Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker, Log. Methods Comput. Sci.
- Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang: Lifting On-Demand Analysis to Higher-Order Languages, SAS 2023.
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.