People

Staff

Wolfgang Ahrendt	GB -1011+46 31 772 1011	ahrendt@chalmers.se
Bernhard Beckert	KO -2775+49 261 287 2775	beckert@uni-koblenz.de
Richard Bubel	GB -1078+46 31 772 1078	bubel@chalmers.se
Christian Engel	KA -4338+49 721 608 4338	engelc@ira.uka.de
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	KO -2781+49 261 287 2781	vladimir@uni-koblenz.de
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
Timo Breuer	KA	breuer@ira.uka.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	Tech@Spree Engineering GmbH	thomas.baar (at) acm.org
Ádám Darvas	ETH Zürich	adam.darvas (at) inf.ethz.ch
Tobias Gedell	Chalmers	gedell (at) cs.chalmers.se
Elmar Habermalz	sd&m AG
Kristofer Johannisson	Apptus Technologies AB	krijoh (at) gmail.com
Daniel Larsson		danla (at) cs.chalmers.se
Andreas Roth	SAP Research
Steffen Schlager	SAP Research	mail (at) steffen-schlager.de
Isabel Tonin	aicas GmbH	tonin (at) ira.uka.de