Gældende indtil 31. marts 2018. Se evt. Det Nye Korps       Information
Professor Lars Kristiansen
Universitetet i Oslo
PO Box 1053
Blindern
NO-0316 Oslo
Norge
larsk @ math.uio.no
+47 92210527 (mobil)
Indledende emner
Databasesystemer
Funktionsprogrammering
Logik
Logikprogrammering
Maskinarkitektur
Semantik
Videregående emner
Algorithm Design and Analysis
Complexity Theory
Computability
Computational Logic
Functional Programming
Logic Programming
Program Analysis
Type Theory