Research Projects

• REALTYPE -- Type Analysis for Component-based Real-time Programming (EPSRC 2001-2003)
• LAX LOGIC -- Lax Logic applied to Formal System Design (EPSRC 1999-2002)
• TYPES -- Mitglied der EU Types Working Group (IST-EU-29001, 2001-2008)
• SPACMODL -- Semantic Processing and Auditing in Constructive Modal Logic (DFG, 2008-2011)
• PRETSY -- Precision Timed Synchronous Processing (DFG, Beginn 2012)