Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Canada |
|---|---|
| City | Montreal |
| Institution | McGill University |
| Institute | School of Computer Science |
Profile
| Research fields | Theoretical Computer Science,Software Engineering and Programming Languages |
|---|---|
| Keywords | Dependent Types, Automated Reasoning, Type Systems, Logical Frameworks |