Ivana Vukotic

Ivana Vukotic

Doctoral researcher

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Research Unit SnT
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0245-060
Telephone (+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: Wednesday, 03 May 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