Mikkel Nygaard Ravn

Mikkel Nygaard Ravn, PhD
BRICS, Dept. of Computer Science,
University of Aarhus

Home ·
Teaching ·
Lecture notes ·
Research papers ·
Contact information ·

Teaching

Regularity and Automata (dRegAut).
Part of the Diploma Programme in Software Construction. Autumn term 2003.
In Danish

Contract-Based Programming (dKBP).
Part of the Master's Programme in Software Construction. Second autumn quarter 2003.
In Danish Course homepage.

Discrete Mathematics (dDM).
Part of the Master's Programme in Software Construction. First autumn quarter 2003.
In Danish Course homepage.

Category Theory for Computer Science (CTfCS).
Computer Science graduate course. Autumn term 2002
In English Course homepage.

Updated July 3rd, 2009.