McGill University — Canada
Computer Science · Physical Sciences
7h-index156citations12works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(12), Logic, Reasoning, and Knowledge(11), Formal Methods in Verification(7), Semantic Web and Ontologies(2), Software Engineering Research(1)
Publications12 total
Mathematical Structures in Computer Science·2018· 6 cited
ACM SIGPLAN Notices·2016· 3 cited
2016· 9 cited
arXiv (Cornell University)·2015Open Access
Electronic Proceedings in Theoretical Computer Science·2015· 9 citedOpen Access
Lecture notes in computer science·2015· 18 cited
ACM SIGPLAN Notices·2014· 7 cited
2014· 38 cited
2013· 15 cited
2012· 22 cited
ACM SIGPLAN Notices·2012· 29 cited
Frequent Co-authors
Brigitte Pientka(12), Francisco Ferreira(2), Prakash Panangaden(2), David Thibodeau(2), Rohan Jacob-Rao(1)