People

Staff

Wolfgang Ahrendt	GB -1011+46 31 772 1011	ahrendt@chalmers.se
Bernhard Beckert	KA -44025+49 721 608 44025	beckert@kit.edu
Richard Bubel	DA -21956+49 6151 16 21956	bubel@cs.tu-darmstadt.de
Huy Quoc Do	DA -21955+49 6151 16 21955	do@cs.tu-darmstadt.de
Sarah Grebing	KA -45253+49 721 608 45253	sarah.grebing@kit.edu
Reiner Hähnle	DA -21361+49 6151 16 21361	haehnle@cs.tu-darmstadt.de
Martin Hentschel	DA -21955+49 6151 16 21955	hentschel@cs.tu-darmstadt.de
Mihai Herda	KA -43856+49 721 608 43856	herda@kit.edu
Michael Kirsten	KA -45648+49 721 608 45648	kirsten@kit.edu
Wolfram Menzel	KA	menzel@mail.informatik.kit.edu
Dominic Scheurer	DA -21955+49 6151 16 21955	scheurer@cs.tu-darmstadt.de
Peter H. Schmitt	KA -44000+49 721 608 44000	pschmitt@mail.informatik.kit.edu
Mattias Ulbrich	KA -44338+49 721 608 44338	mulbrich@mail.informatik.kit.edu
Nathan Wasser	DA -21955+49 6151 16 21955	wasser@informatik.tu-darmstadt.de

Affiliates

Martin Giese	University of Oslo	martingi (at) ifi.uio.no
Wojciech Mostowski	University of Twente	w.mostowski (at) utwente.nl
André Platzer	Carnegie Mellon University	andre.platzer (at) informatik.uni-oldenburg.de
Jan-David Quesel	University of Oldenburg	jan-david.quesel (at) informatik.uni-oldenburg.de
Aarne Ranta	Chalmers	aarne (at) cs.chalmers.se
Philipp Rümmer	Uppsala University	philipp.ruemmer (at) it.uu.se

Alumni

Thomas Baar		thomas.baar (at) acm.org
Ádám Darvas
Christian Engel		engel (at) mail.informatik.kit.edu
Tobias Gedell
Christoph Gladisch		gladisch (at) uni-koblenz.de
Daniel Grahl		daniel.grahl (at) kit.edu
Elmar Habermalz
Ran Ji
Kristofer Johannisson		krijoh (at) gmail.com
Vladimir Klebanov		klebanov (at) kit.edu
Daniel Larsson
Gabriele Paganelli
Andreas Roth
Christoph Scheben		scheben (at) mail.informatik.kit.edu
Steffen Schlager		mail (at) steffen-schlager.de
Isabel Tonin
Angela Wallenburg
Benjamin Weiß		benjamin.weiss (at) alumni.kit.edu