Graduate Courses

Spring 2012

• Programming of Parallel Computers, 10 hp, 2012 Parallel Computing: Theory - Hardware - Software with special focus on Multi-core Programming, 7.5hp, Spring 2012]
• Advanced Compiler Design Spring 2012
• Reading Group: Seminal Papers in Verification (and Related Topics) (starts 2012-02-03)
• Reading Group on Timed Automata (started 2012-01-30)
• Programming of Parallel Computers, 10 hp, 2012 (undegraduate course)
• Advanced Algorithmics (Arne Andersson, starts Period 4)

Spring 2011

• Advanced Compiler Design
• Separation Logic Seminar
• Programming of Parallel Computers, 10 hp, 2011 (undegraduate course)

Autumn 2010

• Domain Engineering by Guest professor Dines Bjorner
• Advanced Computer Architecture
• Models for performance analysis of concurrent programs HT'10, 7.5p

Spring 2010

• 2010-01-14 Parallel Computing: Theory - Hardware - Software with special focus on Multi-core Programming, 7.5hp
• Verification Techniques (including Model Checking)
• Compiler Design II