|
Arbeitsgruppe Mathematische
Logik und Theoretische Informatik
Ehemalige Doktoranden,
Mitarbeiter und Gäste
|
|
Doktoranden
und
Mitarbeiter
|
Timur Bakibayev (Dr.rer.nat. 2010)
Levke Bentzien (Dr.rer.nat. 1999)
Bernd Borchert
(Dr.rer.nat. 1994), Universität Tübingen
Edgar Busse (Dr.rer.nat. 2006)
Decheng Ding (Dr.rer.nat. 1990), Nanjing University
Kai
Hauser (Habilitation 1994), Humboldt-Universität, Berlin
Rupert Hölzl (Dr.rer.nat 2010), LIAFA Paris
Wolfgang
Lenski (Dr.rer.nat. 1988), DKFI Kaiserslautern
Gunther Mainhardt (Dr.rer.nat. 1999), Universität Greifswald
Nenad Mihailovic (Dr. rer. nat. 2007)
Andre Nies
(Dr.rer.nat. 1992, Habilitation 1998), University of Auckland
Jan Reimann (Dr. rer. nat. 2004), Penn State University
Frank Stephan (Dr. rer.nat. 1990, Habilitation 1998), University of Singapore
Sebastiaan A.
Terwijn (Dr.rer.nat. University of Amsterdam 1998), Radboud University Nijmegen
Yongge Wang
(Dr. rer.nat. 1996), University of North Carolina, Charlotte |
|
|
Gäste
|
Peter Fejer, University of Massachusetts
Sergeij Goncharov,
Novosibirsk State University
Steve
Homer, Boston University
Bakhadyr Khoussainov,
University of Auckland
Bjørn Kjos-Hanssen, University of Hawai'i at Manoa
Antonin Kucera, Charles University, Prague
Steffen Lempp,
University of Wisconsin, Madison
Andrei Morozov,
Novosibirsk State University
Victor Selivanov, Novosibirsk
Theodore Slaman,
University of California, Berkeley
Robert Soare,
University of Chicago
Dongping Yang, Academica Sinica
Xizhong Zheng,
Brandenburgische Technische Universität, Cottbus |
|
|
Zurück
Startseite der Arbeitsgruppe
|
|
Letzte Änderung: 16. Oktoberber 2002
|
|