Teaching

From PLSwiki

Contents 1 Courses 2 Ph.D. courses Fall 2010 3 Previously Offered 4 Seminars and Reading Groups

Courses

For regular courses, please see ITU course data base. Introduction To Database Design: Carsten

Ph.D. courses Fall 2010

• Modular Software Verification

Previously Offered

• Category Theory
• Advanced Semantics Seminar
• Functional Reactive Programming/Functional Hybrid Modelling
• Automated Theorem Proving: Andrzej, Carsten
• Advanced Seminar on Linear Logic: Soeren, Rasmus, Carsten
• Advanced Seminar on Semantics and Types: Thomas, Marco, Mikkel

Seminars and Reading Groups

• Process Algebraic and Agent-based Modeling of Biological Systems: Troels
• Reading Group POPL 2010