Startseite // SnT // People // Ivana Vukotic

Ivana Vukotic

Ivana Vukotic

Doctoral researcher

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Forschungseinheit SnT
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E02 0245-060
Telefon (+352) 46 66 44 5656
Fax (+352) 46 66 44 35656

Ivana Vukotic received a Master in Computer Science from the University of Montenegro, in Podgorica in 2010. For her Master Thesis she simulated and compared convergence time of two routing protocols RIP and EIGRP.

Ivana Vukotic worked at the University of Montenegro as a Teaching Assistant for eight years. During these years, she taught the following undergraduate courses: Computer Networks and Communications, Peripherals and Interfaces, Software Engineering, Introduction Into Information Systems, Distributed Computer Systems, Computer Systems Architecture, Artificial Intelligence, Bioinformatics and Linear Algebra. Ivana joined the Critical and Extreme Security and Dependability Group - CritiX led by Prof. Paulo Verissimo and she will work on the verification and validation of distributed systems.

Last updated on: Donnerstag, den 02. Juni 2016

powered by


Full Text
See detailVelisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
Rahli, Vincent; Vukotic, Ivana; Volp, Marcus; Verissimo, Paulo

in ESOP 2018 (2018, April)

Top of Page


Full Text
See detailFormally Verified Differential Dynamic Logic
Bohrer, Brandon; Rahli, Vincent; Vukotic, Ivana; Volp, Marcus; Platzer, Andre

in CPP 2017 (2017)

Top of Page