Ilina Stoilkovska

Logo

View My GitHub Profile

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

Publications

2022

2021

2020

2019

2018