- Programm: Humboldt-Forschungsstipendium
- Auswahldatum: November 1995
- Dienstadresse (Auswahlzeitpunkt): Carnegie Mellon University, Pittsburgh, USA
- Aktuelle Kontaktadresse: School of Computer Science, Carnegie Mellon University, Pittsburgh, USA
- Fachgebiet: Theoretische Informatik
- Keywords: Logik in der Informatik, Informationssicherheit, Programmiersprachen, Typtheorie, Automatisches Beweisen
- Gastgeber*in: Prof. Dr. Klaus Keimel (Technische Universität Darmstadt, Deutschland), Prof. Dr. Wolfgang Bibel (Technische Universität Darmstadt, Deutschland)
Neu ausgewählte Stipendiat*innen und Preisträger*innen, Wissenschaftler*innen, die sich gerade in Förderung befinden sowie Alumni: Recherchieren Sie hier nach Namen, Fachgebieten und Aufenthaltsorten von weltweit über 30.000 Geförderten der Humboldt-Stiftung.