Arbeitsgruppe Zuverlässige Systeme

Geförderte Projekte

BMBF "ARAMiS" (2012-14)

DFG Heisenberg-Professur (2011-14)

DFG "Kombinat. Aspekte von Wörtern und deren Anwendungen" (2011-14)

Dagstuhl Seminar (2011)

Oberwolfach Mini-Workshop (2010)

DAAD PPP-Finnland (2008-10)