Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre,Theoretische Philosophie |
| Keywords | Logik in der Informatik, Informationssicherheit, Programmiersprachen, Typtheorie, Automatisches Beweisen |
Aktuelle Kontaktadresse
| Land | USA |
|---|---|
| Ort | Pittsburgh |
| Universität/Institution | Carnegie Mellon University |
| Institut/Abteilung | School of Computer Science |
Gastgeber*innen während der Förderung
| Prof. Dr. Klaus Keimel | Fachgebiet Intellektik, Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt |
|---|---|
| Prof. Dr. Wolfgang Bibel | Fachgebiet Intellektik, Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt |
| Beginn der ersten Förderung | 01.02.1996 |
Programm(e)
| 1995 | Humboldt-Forschungsstipendien-Programm |
|---|