next up previous contents
Next: 2 Drittmittel Up: Tätigkeitsbericht 1999 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.
Felix Brandt wiss. Angestellter seit 01.07.1999.
Till Brychcy wiss. Angestellter.
Josef Hochreiter wiss. Angestellter, seit 10.06.99 abgeordnet nach Department of Computer Science University of Colorado at Boulder.
Dr. Astrid Kiehn Oberassistentin seit 01.02.99 (vorher wiss. Mitarbeiterin).
Clemens Kirchmair wiss. Angestellter.
Stefan Kriebel wiss. Angestellter.
Barbara König wiss. Angestellte seit 01.02.99
Alexandra Musto wiss. Angestellte.
Matthias Nickles wiss. Angestellter seit 16.11.99.
Christine Röckl wiss. Angestellte.
Stefan Römer wiss. Angestellter.
Dr. Peter Rossmanith wiss. Assistent.
Dr. Christoph Schlieder wiss. Assistent.
Claus Schröter wiss. Angestellter.
Stefan Schwoon Doktorand im Graduiertenkolleg.
Klaus Stein Doktorand im Graduiertenkolleg.
Michael Sturm wiss. Angestellter.
Claudia Ungerer wiss. Angestellte.
Frank Wallner wiss. Angestellter (bis 31.08.99, seitdem Gast).
Dr. Gerhard Weiß DFG-Habilitationsstipendiat (bis 30.09.99, danach wiss. Assistent).

1.3 Lehrbeauftragte

Dr. Gustavo Deco Siemens, München.
Dr. Hans Geiger Thum und Geiger Softcomputing GmbH, München.
Dr. Daniel Hernández SICAD Utilities GmbH.
Dr. Michael Payer Infineon Technologies, München.
Thomas Runkler Siemens, München, Lehrbeauftragter seit 11.2.99.
Dr. Dirk Taubner sd&m, software design & management, München.


1.4 Weitere Doktoranden, Habilitanden, Forschungspartner

Doktoranden
Martin Appl Siemens, München.
Thomas Briegel Siemens, München.
Reimar Hofmann Siemens, München.
Iris Gilsdorf Siemens Business Services, München.
Andreas Heise Universität Tübingen.
Dany Meyer Kratzer Automatisierung, München.
René Pompl MPI Extraterrestrische Physik, Garching.
Leonor Prensa Nieto Graduiertenkolleg ``Logik in der Informatik'' der LMU München.
Harald Steck Siemens, München.
Burkhard Stubert Siemens, München.
Christiane Stutz Siemens, München.
Thomas Waschulzik Zentrum für angewandte Informationstechnologien, Universität Bremen.
Elisabeth Umkehrer Institut für Medizinische Psychologie, LMU München.
Forschungspartner
Dr. Klaus Eder Kratzer Automatisierung, München.
Andreas Eisenkolb Institut für medizinische Psychologie der LMU 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.
Dr. Margit Sturm (geb. Kinder) Kratzer Automatisierung, 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

Felix Brandt 01.03.1999-30.06.1999


1.7 Studentische Hilfskräfte

Leonid Kof Projektbezogene Programmierarbeiten, (1.01.-30.9.99).
Elena Paslaru Projektbezogene Programmierarbeiten, (1.08.-31.10.99).
Stefan Reich Systemverwaltung.
Lutz Silbersack Projektbezogene Programmierarbeiten.
Nataliya Skrypnyuk Projektbezogene Programmierarbeiten.
Korbinian Trumpp Erstellung Tätigkeitsbericht, Erstellung FKI.
Kolja Vogel Projektbezogene Programmierarbeiten.

1.8 Gäste/Gastvorträge

seit 01.12.99 Iris Gilsdorf (SBS München)
Juni 98 - Dez. 99 Dr. Antonín Kucera (Masaryk University, Tschechische Republik).
Thema: ``Algorithmen für die Verifikation von Systemen mit unendlichen Zustansdsräumen.''
seit 01.12.98 Thibaut Meunier (Ecole Centrale Lyon)
27.10.99-29.10.99 Davide Sangiorgi (INRIA Sophia Antipolis), Mobility-Kurs.
Vorträge:
03.02.99 Prof. Dr. Raul Rojas, Freie Universität Berlin: ``Recognition of Handwritten ZIP Codes with Neural Networks''.
04.02.99 Prof. Dr. Raul Rojas, Freie Universität Berlin: ``The Architecture of Konrad Zuse's Early Computing Machines''.
10.02.99 Prof. Volker Diekert, Universität Stuttgart: ``Neue Entwicklungen auf dem Gebiet der Wortgleichungen''.
23.06.99 Farid Ablayev, Kazan State University: ``The Complexity of Restricted Branching Programs: A Communication Complexity Approach''.
24.06.99 R. Hofmann, Siemens München: ``Eine Analyse von Posterior-Wahrscheinlichkeiten beim Strukturlernen von Bayes Netzen''.
08.07.99 Dr. Angelika Mader, Nijmegen, Holland: ``Verification of Programmable Logic Controllers''.
12.07.99 Dr. Gabriele Scheler, ICSI Berkeley: ``Neuromodulation des semantischen Systems''.
15.07.99 Dr. Martin Eldracher, Boston Consulting Group (BCG) München: ``Wozu Entwicklung einer IT-Architektur durch eine strategische Unternehmensberatung?''.
16.08.99 Dr. Dirk Ormoneit, Stanford University: ``Kernel-based Reinforcement Learning''.


next up previous contents
Next: 2 Drittmittel Up: Tätigkeitsbericht 1999 Previous: Inhalt
Felix Brandt, Montag, 9. Oktober 2000, 11:26:28 Uhr MET DST