Ilina Stoilkovska



Research Interests

  • Formal Methods, Distributed Systems, Verification of Fault Tolerant Distributed Algorithms, Interactive Theorem Proving

Current Position


Education