Ruprecht-Karls-UniversitätHeidelberg
Startseite der Universität Startseiteder Fakulttät Mathematisches Institut Institut fŸr Informatik

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


Verantwortlich: Jan Reimann
Letzte Änderung: 16. Oktoberber 2002