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 her MSc in Computer Science from the University of Montenegro, in Podgorica in 2010. She worked for eight years at the University of Montenegro, as a Teaching Assistant. Her research interests include proof assistants, formal verification, distributed systems, computer networks and hybrid systems. Ivana joined the Critical and Extreme Security and Dependability group - CritiX headed by Prof. Paulo Verissimo.

Last updated on: Mittwoch, den 03. Mai 2017

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