McGill University — Canada
Computer Science · Physical Sciences
20h-index1.7kcitations140works0.62yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(111), Logic, Reasoning, and Knowledge(76), Formal Methods in Verification(67), Software Engineering Research(17), Semantic Web and Ontologies(11)
Publications140 total
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
arXiv (Cornell University)·2025Open Access
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Proceedings of the ACM on Programming Languages·2025Open Access
Proceedings of the ACM on Programming Languages·2025· 2 citedOpen Access
ACM Transactions on Programming Languages and Systems·2024Open Access
arXiv (Cornell University)·2024Open Access
Electronic Proceedings in Theoretical Computer Science·2024Open Access
arXiv (Cornell University)·2024Open Access
Proceedings of the ACM on Programming Languages·2024· 1 citedOpen Access
arXiv (Cornell University)·2024· 1 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2024Open Access
arXiv (Cornell University)·2024Open Access
Lecture notes in computer science·2024· 4 citedOpen Access
arXiv (Cornell University)·2024· 2 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2023Open Access
Electronic Proceedings in Theoretical Computer Science·2023· 1 citedOpen Access
page 1 of 7Next →
Frequent Co-authors
Andreas Abel(8), Andrew Cave(8), Frank Pfenning(5), David Thibodeau(5), Francisco Ferreira(4), Alberto Momigliano(4), Jana Dunfield(3), Anton Setzer(3), Amy Felty(3), Aleksandar Nanevski(2), Prakash Panangaden(2), Aliya Hameer(2), Junyoung Jang(2), Stefan Monnier(2), Christoph Kreitz(2), Guillaume Allais(1), Steven Schäfer(1), Kathrin Stark(1), Samuel Gélineau(1), Chuqin Geng(1)