Lektor Rosario Giustolisi
IT University of Copenhagen
Computer Science
Rued Langgaards Vej 7
2300 København
Danmark
rosg @ itu.dk
50105405
Indledende emner
Distribuerede systemer
Formelle sprog
Sikkerhed
Videregående emner
Blockchain
Cryptology
Distributed Systems
Privacy
Security
Software Verification