People Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name Related Guest Professors Honoraries Alumni (LinkedIn) #5qw Oliviero Nardi Univ.Ass. / MSc Role PreDoc Researcher Databases and Artificial Intelligence, E192-02 Contact oliviero.nardi@tuwien.ac.at +43-1-58801-192229 Favoritenstrasse 9, Room HA0307 vCard from TISS olinarr.github.io orcid.org/0000-0003-4241-8299 informatics.tuwien.ac.at/people/oliviero-nardi tiss.tuwien.ac.at/person/362274 Courses 2023S Formal Methods in Computer Science / 185.291 / VU