People

Staff

Wolfgang Ahrendt	GB -1011+46 31 772 1011	ahrendt@chalmers.se
Bernhard Beckert	KA -44025+49 721 608 44025	beckert@kit.edu
Daniel Bruns	KA -45268+49 721 608 45268	bruns@kit.edu
Richard Bubel	DA -3713+49 6151 16 3713	bubel@cs.tu-darmstadt.de
Christoph Gladisch	KA -45268+49 721 608 45268	gladisch@uni-koblenz.de
Reiner Hähnle	DA -75383+49 6151 16 75383	haehnle@cs.tu-darmstadt.de
Martin Hentschel	DA -3713+49 6151 16 3713	hentschel@cs.tu-darmstadt.de
Ran Ji	DA -3713+49 6151 16 3713	ran@cs.tu-darmstadt.de
Vladimir Klebanov	KA -45252+49 721 608 45252	klebanov@kit.edu
Wolfram Menzel	KA	menzel@ira.uka.de
Gabriele Paganelli	GB	gabriele.paganelli@chalmers.se
Christoph Scheben	KA -44338+49 721 608 44338	scheben@ira.uka.de
Peter H. Schmitt	KA	pschmitt@ira.uka.de
Mattias Ulbrich	KA -44338+49 721 608 44338	mulbrich@ira.uka.de

Students

Johannes Dreiner	KA	dreiner@ira.uka.de
Sarah Grebing	KA	sarahgrebing@uni-koblenz.de
Moritz von Looz	KA	looz@ira.uka.de
Benjamin Niedermann	KA	niederma@ira.uka.de

Affiliates

Martin Giese	University of Oslo	martingi (at) ifi.uio.no
Wojciech Mostowski	University of Nijmegen	w.mostowski (at) cs.ru.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) ira.uka.de
Tobias Gedell
Elmar Habermalz
Kristofer Johannisson		krijoh (at) gmail.com
Daniel Larsson
Andreas Roth
Steffen Schlager		mail (at) steffen-schlager.de
Isabel Tonin
Angela Wallenburg
Benjamin Weiß		benjamin.weiss (at) alumni.uni-karlsruhe.de