Universität Bremen  
  FB 3  
  Group BKB > Research > Formal Methods > Completed Projects > PROSPECTRA > Deutsch
English
 

The PROSPECTRA Consortium

 

Universität Bremen (Prime Contractor)

Professor Bernd Krieg-Brückner
(Project Director)
FB3 Mathematik und Informatik
Universität Bremen
Postfach 330 440
D- 2800 Bremen 33

Universität Dortmund

Professor Harald Ganzinger
Lehrstuhl für Informatik V
Universität Dortmund
Postfach 500 500
D- 4600 Dortmund 50
[now at Max-Planck-Institut für Informatik, Saarbrücken]

Universität Passau

Professor Manfred Broy
Lehrstuhl für Informatik
Universität Passau
Postfach 2540
D- 8390 Passau
[now at Technische Universität München]

Universität des Saarlandes

Professor Reinhard Wilhelm
FB14 - Informatik
Universität des Saarlandes
Postfach
D- 6600 Saarbrücken 11

University of Strathclyde

Professor Andrew D. McGettrick
Computer Science Department
University of Strathclyde
Livingstone Tower, 26 Richmond St.
UK- Glasgow G1 1XH

Syseca Logiciel

Dr. Emmanuel Fermaut
Syseca Logiciel
315 Bureaux de la Colline
F- 92213 St Cloud Cedex

Computer Resources International

Einar W. Karlsen
CASE Division
Computer Resources International A/S
(Dansk Datamatik Center)
Bregenerødvej 144
DK- 3460 Birkerød
[now at Universität Bremen]

Alcatel Standard Eléctrica SA

Angel Perez Riesco
Research Center
Alcatel Standard Eléctrica, S. A.
Ramirez de Prado, 5
E- 28045 Madrid

Universitat Politécnica de Catalunya (Subcontractor)

Professor Fernando Orejas
Departamento de Lenguajes
y Systemas Informáticas
Universitat Politécnica de Catalunya
Pau Gargallo 5
E- 08028 Barcelona

The PROSPECTRA Teams

Universität Bremen

Prof. Bernd Krieg-Brückner, Dr. Berthold Hoffmann, Bernd Gersdorf,
Frank Drewes, Yulin Feng, Jörn von Holten, Stefan Kahrs, Wei Li, Junbo Liu,
Detlef Plump, Zhenyu Qian, Richard Seifert, Elisabeth Swart

Universität Dortmund

Prof. Harald Ganzinger, Hubert Bertling,
Dr. Michael Hanus, Renate Schäfers

Universität Passau

Prof. Manfred Broy, Thomas Grünler, Dr. Friederike Nickl,
Michael Breu, Frank Dederichs, Rainer Weber

Universität des Saarlandes

Prof. Reinhard Wilhelm, Reinhold Heckmann, Dr. Ulrich Möncke,
Martin Alt, Andreas Fecht, Christian Ferdinand, Andreas Hense,
Peter Lipps, Stefan Pistorius, Georg Sander, Beatrix Weisgerber

University of Strathclyde

Prof. Andrew D. McGettrick, Owen Traynor,
Charles Chen, David Duffy, Joseph McLean

Syseca Logiciel

Dr. Emmanuel Fermaut, Alain Marcuzzi,
Hérvé Bazin, Pierre Boulle, Ian Campbell, Dominique Girard, Dominique Houdier, Dr. Amaury Legait, Bernard Mathae, Elaine Morcos, Dr. Olivier Roubine, Jean-Luc Saouli, Chantal Vilhet

Systeam KG Dr. Winterstein*

Dr. Georg Winterstein,
Peter Dencker, León Treff, Erich Zimmermann

Computer Resources International A/S

Einar W. Karlsen,
Jesper Andersen, Nicola Botta, Jesper Jørgensen
Steen Lynenskjøld, Claus Bendix Nielsen

Alcatel Standard Eléctrica SA

Angel Perez Riesco, Pedro de la Cruz Ramos,
Maria Dolores Hinojal, Alicia Lopez, Juan Antonio de Miguel, José Luis Mañas,
Carlos Muñoz, Miguel Muñoz+, Rafael Perez Gonzales, José Manuel del Prado, José Miguel Pinilla

Universitat Politécnica de Catalunya

Prof. Fernando Orejas,
Marisa Navarro, Maria Pilar Nivela, Roberto Nieuvenhuis, Ricardo Peña
 
   
Author: n/a
 
  Group BKB 
Last updated: September 12, 2002   impressum