Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Softwaretechnik und Programmiersprachen |
| Keywords | Dependent Types, Automated Reasoning, Type Systems, Logical Frameworks |
| Auszeichnungen | 2018: Test of Time Award from ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP) 2016: Humboldt Fellowship for Experienced Researchers |
Aktuelle Kontaktadresse
| Land | Kanada |
|---|---|
| Ort | Montreal |
| Universität/Institution | McGill University |
| Institut/Abteilung | School of Computer Science |
Gastgeber*innen während der Förderung
| Prof. Dr. Martin Hofmann | Institut für Informatik, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Priv. Doz. Dr. Ulrich Schöpp | Institut für Informatik, Ludwig-Maximilians-Universität München (LMU), München |
| Prof. Dr. Derek Dreyer | Institut für SWS, Max-Planck-Institut für Softwaresysteme, Saarbrücken |
| Beginn der ersten Förderung | 01.09.2016 |
Programm(e)
| 2016 | Humboldt-Forschungsstipendien-Programm für erfahrene Forschende |
|---|