|
Fall 2010
|
Master's Thesis
|
|
Spring 2010
|
Study Group
|
|
Fall 2009
|
Peer to Peer Networks
|
Embedded Systems - Embodied Agents
|
Advanced Algorithmics: Data Structures
|
|
Spring 2009
|
dKombSøg
Combinatorial Search
|
Technical Project Management
|
Programming Languages and Types
|
|
Static Analysis
|
Techniques for Functional Programming
|
|
Fall 2008
|
Design of Virtual Machines for Object Oriented Languages
|
Advanced Topics in Software Architecture
|
Advanced Web Technology
|
|
Specifikation of IT Systems
|
Concurrency (Semantics)
|