People

Staff

Wolfgang Ahrendt	GB -1011+46 31 772 1011	ahrendt@cs.chalmers.se
Bernhard Beckert	KO -2775+49 261 287 2775	beckert@uni-koblenz.de
Richard Bubel	GB -1078+46 31 772 1078	bubel@cs.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@cs.chalmers.se
Vladimir Klebanov	KO -2781+49 261 287 2781	vladimir@uni-koblenz.de
Wolfram Menzel	KA	menzel@ira.uka.de
Philipp Rümmer	GB -1072+46 31 772 1072	philipp@cs.chalmers.se
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@cs.chalmers.se
Benjamin Weiß	KA -4324+49 721 608 4324	bweiss@ira.uka.de

Students

Markus Bender	KO	mbender@uni-koblenz.de
Simon Greiner	KA	greiner@ira.uka.de
Volker Klasen	KO	reklov@uni-koblenz.de
Robert Mrasek	KA	mrasek@ira.uka.de
Jochen Seidel	KA	jseidel@ira.uka.de
Michael Walter	KA	mwalter@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	University of Oldenburg	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

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 AG	aroth (at) ira.uka.de
Steffen Schlager	SAP AG	schlager (at) ira.uka.de
Isabel Tonin	aicas GmbH	tonin (at) ira.uka.de