Beskikkede censorer startende 1. april 2018       Information
Professor Kim Guldstrand Larsen
Aalborg Universitet
Institut for datalogi
Selma Lagerløfs Vej 300
9220 Aalborg
Danmark
kgl @ cs.aau.dk
22171159
Indledende emner
Algoritmer og datastrukturer
Concurrent og parallel programmering
Distribuerede systemer
Formelle sprog
Logik
Semantik
Videregående emner
Algorithm Design and Analysis
Algorithm Engineering
Category Theory
Complexity Theory
Computability
Concurrency Theory
Distributed Systems
Embedded Systems
Real-Time Systems
Software Testing
Software Verification