University of Waterloo — Canada
Computer Science · Physical Sciences
16h-index1.9kcitations47works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(26), Security and Verification in Computing(17), Formal Methods in Verification(10), Parallel Computing and Optimization Techniques(8), Software Engineering Research(8)
Publications47 total
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Zenodo (CERN European Organization for Nuclear Research)·2026Open Access
Lecture notes in computer science·2023
IEEE Transactions on Dependable and Secure Computing·2022· 9 cited
Proceedings of the ACM on Programming Languages·2021· 4 citedOpen Access
Proceedings of the ACM on Programming Languages·2020· 9 citedOpen Access
Theoretical Computer Science·2020· 2 cited
Lecture notes in computer science·2018· 1 cited
2017· 6 cited
Lecture notes in computer science·2013· 21 cited
Lecture notes in computer science·2013· 16 cited
2012· 55 cited
ACM SIGPLAN Notices·2012· 15 cited
ACM SIGPLAN Notices·2012· 4 cited
2012· 44 cited
page 1 of 3Next →
Frequent Co-authors
Péter Müller(11), Michael D. Ernst(11), Sophia Drossopoulou(5), Andreas Uhl(5), Mattias Ulbrich(5), Dan Grossman(4), Adrian Sampson(3), Emily Fortuna(3), Danushen Gnanapragasam(3), Luís Ceze(3), Ana Milanova(3), Wolfram Pfeifer(3), Stephanie Dietzel(2), René Just(2), Suzanne Millstein(2), Paul Vines(2), Wei Huang(2), Peter Meerwald(2), Dave Cunningham(2), Adrian Francalanza(2)