Google (United States) — United States
Computer Science · Physical Sciences
55h-index17.9kcitations232works0.42yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(129), Logic, Reasoning, and Knowledge(100), Formal Methods in Verification(60), Advanced Algebra and Logic(32), Computability, Logic, AI Algorithms(30)
Publications232 total
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Formal Aspects of Computing·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
Lecture notes in computer science·2025· 1 citedOpen Access
Logical Methods in Computer Science·2024· 1 citedOpen Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2023Open Access
Electronic Notes in Theoretical Informatics and Computer Science·2023· 3 citedOpen Access
Logical Methods in Computer Science·2023· 4 citedOpen Access
arXiv (Cornell University)·2023· 1 citedOpen Access
arXiv (Cornell University)·2022Open Access
arXiv (Cornell University)·2022· 1 citedOpen Access
2021Open Access
2021· 3 cited
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2021· 3 citedOpen Access
Cambridge University Press eBooks·2020· 6 citedOpen Access
Electronic Notes in Theoretical Computer Science·2020Open Access
arXiv (Cornell University)·2020· 1 citedOpen Access
Proceedings of the ACM on Programming Languages·2019· 50 citedOpen Access
page 1 of 12Next →
Frequent Co-authors
John Power(6), Martı́n Abadi(4), Robert Harper(2), Furio Honsell(2), Mogens Nielsen(2), Glynn Winskel(2), John C. Mitchell(2), Daniele Turi(2), Marcelo Fiore(2), Colin Stirling(2), Luca Cardelli(2), Benjamin C. Pierce(2), Matthew Hennessy(2), Matija Pretnar(2), David MacQueen(2), Ravi Sethi(2), Rob J. van Glabbeek(2), M. Abadi(2), Michael T. Burrows(1), Butler Lampson(1)