course activity

This page contains information about graduate courses I've attended at Daimi. More recent are listed first.

Spring 2004 (3st, 4th quarter)

Fall 2003 (1st, 2nd quarter)

Cryptography, an introductory course in cryptography.
Software Verification, a study-group investigating concrete tools for software verification and error detection.
Concurrency and Verification, a study-group on model checking as a verification technique, with emphasis on concurrent systems.

Spring 2003 (3rd, 4th quarter)

Action Semantics, an introductory course in Action Semantics. For more information about the action semantics project see AS-project page.
Interpreters, Compilers and Virtual Machines. A course looking into the connections between programming-language interpreters, compilers and virtual machines.

Fall 2002

Category Theory for Computing Science, an introductory course in Category Theory, with emphasis on applications in computer science.
Logic and Proof Theory, an introductory course in Logic, 1st order, intuitionistic and modal logic. The second quarter gives an introduction to proof theory.

Spring 2002

Program Analysis, Generation and Transformation, this course looked into 6 different systems for compiler generation and related topics. The second part of the course deals with static analysis.
Aspects of Programming Languages, a course on foundational issues of various classes of programming languages, in particular functional-, object oriented- and logic-programming languages.
Practical Data Security, a course on computer security, with focus on practical aspects.

Fall 2001

Quantum Information Processing, an introductory course (for computer scientists) on Quantum Computing, Quantum Information and Quantum Cryptography.