next up previous contents
Next: 2 Drittmittel Up: Tätigkeitsbericht 1998 Previous: Inhalt

Subsections

1 Mitglieder

1.1 Professoren

Prof. Dr. Dr. h. c. Wilfried Brauer Ordinarius für Informatik.
Prof. Dr. Javier Esparza Extraordinarius für Theoretische Informatik.

1.2 Wissenschaftliche Mitarbeiter

Dieter Bartmann wiss. Angestellter.
Till Brychcy wiss. Angestellter.
Angela Bücherl Doktorandin im Graduiertenkolleg.
Dr. Daniel Hernández wiss. Assistent; beurlaubt seit 1.9.1997.
Josef Hochreiter wiss. Angestellter.
Dr. Astrid Kiehn wiss. Angestellte.
Clemens Kirchmair wiss. Angestellter.
Stefan Kriebel wiss. Angestellter.
Richard Mayr Doktorand im Graduiertenkolleg.
Stephan Melzer wiss. Angestellter bis 15.8.98.
Jürgen Menden wiss. Angestellter.
Alexandra Musto wiss. Angestellte.
Dirk Ormoneit Doktorand im Graduiertenkolleg.
Christine Röckl wiss. Angestellte.
Stefan Römer wiss. Angestellter.
Dr. Peter Rossmanith wiss. Assistent.
Dr. Gerda Ruge DFG-Habilitationsstipendiatin.
Dr. Gabriele Scheler wiss. Angestellte.
Dr. Christoph Schlieder wiss. Assistent.
Dr. habil. Jürgen Schmidhuber wiss. Oberassistent (beurlaubt).
Claus Schröter wiss. Angestellter seit 1.9.98.
Stefan Schwoon Doktorand im Graduiertenkolleg seit 15.12.98.
Klaus Stein Doktorand im Graduiertenkolleg seit 1.8.98.
Michael Sturm wiss. Angestellter.
Frank Wallner wiss. Angestellter.
Dr. Gerhard Weiß DFG-Habilitationsstipendiat.
Claudia Ungerer wiss. Angestellte.

1.3 Lehrbeauftragte

Dr. Gustavo Deco Siemens AG, München.
Dr. Hans Geiger Thum und Geiger Softcomputing GmbH, München.
Dr. Michael Payer Siemens AG, München.
Dr. Dirk Taubner sd&m AG software design & management, München.


1.4 Weitere Doktoranden, Habilitanden, Forschungspartner

Doktoranden
Dieter Barnard Siemens AG, München.
Thomas Briegel Siemens AG, München.
Reimar Hofmann Siemens AG, München.
Iris Gilsdorf Siemens Nixdorf Informationssysteme.
Andreas Heise Universität Tübingen.
René Pompl MPI Extraterrestrische Physik, Garching.
Leonor Prensa Nieto Logik in der Informatik
Matthias Scherf GSF Neuherberg.
Christian Schittenkopf Siemens AG, München.
Jan Storck Ernst von Siemens-Stipendium.
Burkhard Stubert Siemens AG, München.
Christiane Stutz Siemens AG, München.
Thomas Waschulzik Zentrum für angewandte Informationstechnologien, Universität Bremen.
Guo-Qing Wei DLR Oberpfaffenhoffen.
Forschungspartner
Martin Arnoldi Bayerische Vereinsbank.
Prof. Pierre Dillenbourg Faculté de Psychologie et des Sciences de l'Education, Université de Geneve.
Dr. Klaus Eder Kratzer Automatisierung, München.
Andreas Eisenkolb Institut für medizinische Psychologie der LMU München.
Dr. Dominik Gomm Telekom Darmstadt.
Dr. Jürgen Hollatz Siemens AG, München.
Dr. Ekkart Kindler Humboldt-Universität, Berlin.
Dr. Antonín Kucera Masaryk University (Tschechische Republik), Humboldt-Stipendiat.
Angelika Mader Universität Nijmegen, Holland.
Thibaut Meunier Ecole Centrale Lyon (Ecully, Frankreich), Gastwissenschaftler seit 01.12.98.
Prof. Dr. Jochen Pfalzgraf Universität Salzburg.
Dr. Kerstin Schill Institut für Medizinische Psychologie der LMU München.
Prof. Sandip Sen University of Tulsa, USA.
Dr. Margit Sturm (geb. Kinder) Siemens AG, München.
Kim Sunesen Ph.D. Student, BRICS, Aarhus University, Gastwissenschaftler seit Nov. 96.


1.5 Sekretärinnen

Ingeborg Biberger
Paula Grylka


1.6 Wissenschaftliche Hilfskräfte

Stefan Schwoon 01.11.1998-30.11.1998


1.7 Studentische Hilfskräfte

Thomas Becker Systemadministration (Unix, Drucker).
Karsten Färber Systemadministration (Unix, Benutzerverwaltung), (01.01. - 01.04.98).
Leonid Kof Projektbezogene Programmierarbeiten, (01.11.-31.12.98).
Stefan Reich Projektbezogene Programmierarbeiten, (01.06.-01.10.98).
Christian Schiller Systemadministration (Unix, Backups), (01.01. - 01.09.98).
Michaela Schult Projektbezogene Programmierarbeiten, (01.01.-01.07.98).
Lutz Silbersack Projektbezogene Programmierarbeiten, (01.09.-31.12.98).
Klaus Stein Projektbezogene Programmierarbeiten, (01.01.-01.04.98).
Christian Stummer Projektbezogene Programmierarbeiten, (01.01.-01.02.98).
Korbinian Trumpp Erstellung Tätigkeitsbericht, Verwaltung FKI, (01.12.-31.12.98).
Kolja Vogel Projektbezogene Programmierarbeiten, (01.08.-31.12.98).

1.8 Gäste/Gastvorträge

seit 01.12.98 Thibaut Meunier (Ecole Centrale Lyon)
Vorträge:
16.01.98 Monika Heiner (TU Cottbus): ``Petri Net Based System Analysis without State Explosion''
13.02.98 Ahmed Bouajjani (VERIMAG, Grenoble): ``Symbolic verification of lossy fifo-channel systems''
26.03.98 Peter Niebert (Universität Hildesheim): ``Temporale Logiken für verteiltes Verhalten''
06.07.98 Dr. Julien Piana und Antoine Pineau, Renault Research Center, Frankreich
25.08.98 Harro Wimmel (Universität Koblenz): ``Reguläre Pomsetsprachen''
12.11.98 Jens Knoop (Universität Dortmund): ``Optimierung paralleler Programme''
18.11.98 Tony Kucera (Univ. Brno): ``Weak Bisimilarity with Infinite-State Systems Can be Decidable in Polynomial Time''
24.11.98 Dr. P. Horacek, Dr. L. Preucil und T. Pajdal, Czech Technical University, Prag
26.11.98 Dr. T. Runkler (Siemens AG, Zentralabteilung Technik, Information und Kommunikation): ``Clusteranalyse und Data-Mining-Anwendungen''
01.12.98 Anca Muscholl (Universität Stuttgart): ``Verifying races and confluence of message sequence graphs''


next up previous contents
Next: 2 Drittmittel Up: Tätigkeitsbericht 1998 Previous: Inhalt
Alexandra Musto, Tue Jul 13 15:19:24 MET DST 1999