Lektor Ken Friis Larsen
Københavns Universitet
Datalogisk Institut
Universitetsparken 5
2100 København Ø
Danmark
kflarsen @ diku.dk
51946545
Indledende emner
Algoritmer og datastrukturer
Concurrent og parallel programmering
Databasesystemer
Distribuerede systemer
Formelle sprog
Funktionsprogrammering
Logik
Logikprogrammering
Objektorienteret programmering
Oversættelse
Programmeringssprog
Sikkerhed
Web-teknologi
Videregående emner
Computational Logic
Computer Game Construction
Concurrency Theory
Constraint Logic Programming
Data Structures
Database Systems
Distributed Systems
Edutainment
Functional Programming
Graph Algorithms
Internet of Things
Parallel Processing
Program Analysis
Program Optimization
Program Transformation
Programming Environments
Programming Language Design
Proof Theory
Scientific Computing
Security
Software Engineering
Software Testing
Software Verification
Type Theory
Ubiquitous and Pervasive Computing
Virtual Machines
Web Technology

 


Data protection at SDUDatabeskyttelse på SDU