Lektor Alessandro Bruni
IT-Universitetet i København
Datalogi
Rued Langaards vej 7
2300 København
Danmark
brun @ itu.dk
Indledende emner
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Programmeringssprog
Sikkerhed
Videregående emner
Artificial Intelligence
Blockchain
Cryptology
Logic Programming
Privacy
Program Analysis
Security