Jure Kukovec

 
  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Formal methods, TLA+, Verification of Fault Tolerant Distributed Algorithms

Current Position


Education