Aalborg University| Computer Science Dpt.| (Old) Intranet| Control Engineering Dpt.
Teaching| Research
Teaching
› MVP › DNA › Courses › Misc. Info.
Research
› Publications › DBM Library › UPPAAL › UPPAAL TIGA › ECDAR › Ruby-BDD › RTSS'05 Tutorial
Alexandre David
Associate Professor


Department of Computer Science
Aalborg University
Selma Lagerløfs Vej 300
DK-9220 Aalborg Øst
Denmark
Office: 1.2.05
Phone: (+45) 9940 7226
Fax: (+45) 9940 9798
E-mail: 

Courses

Aalborg

Spring 2010: Models and Tools for Parallelism.
Spring 2010: Computer and Network Architecture.
Fall 2009: Distributed systems.
Fall 2009: Real-time software.
Spring 2009: Test and Verification.
Spring 2009: Models and Tools for Parallellism.
Summer 2008: Livslang læring: Introduction to Parallel Computing.
Spring 2008: Models and Tools for Parallelism.
Spring 2008: Test and Verification.
Fall 2007: Distributed Systems - Advanced Topics.
Spring 2007: Models and Tools for Parallelism.
Fall 2006: Algorithms and Architecture I.
Spring 2006: Models and Tools for Parallelism.
Fall 2005: Algorithms and Architecture I.
Spring 2005: Models and Tools for Parallelism.
Fall 2004: Algorithms and Architecture I.

Uppsala

Lab work 1999--2003: Operating Systems.
Lab work 2002: Compiler Theory.
Lab work 1999--2002: Process Algebra.

Miscellaneous Information

Useful Links

Slashdot: News for Nerds, Stuff that matters.
Freshmeat: Fresh programs everyday.
CNN: News, you said news?
Le Monde: French news.
Krak.dk: Danish general information site.
Aalborg: Aalborg city.
Weather in Aalborg
Map24: interactive map of Europe.

Old Projects

Javassistant.
Epplets.
Utils.
VisualUL (MSc project).