Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Theoretical Computer Science,Software Engineering and Programming Languages |
| Keywords | Dependent Types, Automated Reasoning, Type Systems, Logical Frameworks |
| Honours and awards | 2018: Test of Time Award from ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP) 2016: Humboldt Fellowship for Experienced Researchers |
Current contact address
| Country | Canada |
|---|---|
| City | Montreal |
| Institution | McGill University |
| Institute | School of Computer Science |
Host during sponsorship
| 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 |
| Start of initial sponsorship | 01/09/2016 |
Program(s)
| 2016 | Humboldt Research Fellowship Programme for Experienced Researchers |
|---|