People

Staff

Wolfgang Ahrendt	GB -1011+46 31 772 1011	ahrendt@chalmers.se
Bernhard Beckert	KA -4025+49 721 608 4025	beckert@kit.edu
Daniel Bruns	KA -5268+49 721 608 5268	bruns@kit.edu
Richard Bubel	GB -1078+46 31 772 1078	bubel@chalmers.se
Christoph Gladisch	KO -2780+49 261 287 2780	gladisch@uni-koblenz.de
Reiner Hähnle	GB -1061+46 31 772 1061	reiner@chalmers.se
Vladimir Klebanov	KA -5252+49 721 608 5252	klebanov@kit.edu
Wolfram Menzel	KA	menzel@ira.uka.de
Mattias Ulbrich	KA -4338+49 721 608 4338	mulbrich@ira.uka.de
Peter H. Schmitt	KA	pschmitt@ira.uka.de
Angela Wallenburg	GB -1075+46 31 772 1075	angelaw@chalmers.se
Benjamin Weiß	KA -4324+49 721 608 4324	bweiss@ira.uka.de

Students

Markus Bender	KO	mbender@uni-koblenz.de
Sarah Grebing	KO	sarahgrebing@uni-koblenz.de
Volker Klasen	KO	reklov@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	Oxford University	philr (at) comlab.ox.ac.uk

Alumni

Thomas Baar		thomas.baar (at) acm.org
Ádám Darvas		adam.darvas (at) inf.ethz.ch
Christian Engel		engel (at) ira.uka.de
Tobias Gedell		gedell (at) cs.chalmers.se
Elmar Habermalz
Kristofer Johannisson		krijoh (at) gmail.com
Daniel Larsson		danla (at) cs.chalmers.se
Andreas Roth
Steffen Schlager		mail (at) steffen-schlager.de
Isabel Tonin		tonin (at) ira.uka.de