University of Cambridge — United Kingdom
Computer Science · Physical Sciences
29h-index3.2kcitations77works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(50), Formal Methods in Verification(20), Advanced Database Systems and Queries(18), Logic, Reasoning, and Knowledge(17), Software Engineering Research(12)
Publications77 total
OpenGrey (Institut de l'Information Scientifique et Technique)·2021· 39 citedOpen Access
2021Open Access
2021· 12 citedOpen Access
OpenGrey (Institut de l'Information Scientifique et Technique)·2021· 7 citedOpen Access
2021· 9 citedOpen Access
CL Technical Reports·2021· 2 citedOpen Access
Clinical Rheumatology·2021· 108 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 2 citedOpen Access
Edinburgh Research Explorer (University of Edinburgh)·2017Open Access
ACM SIGPLAN Notices·2015· 11 cited
2014· 83 cited
Proceedings of the VLDB Endowment·2014· 25 cited
Electronic Proceedings in Theoretical Computer Science·2014· 13 citedOpen Access
2014· 59 cited
ACM SIGPLAN Notices·2014· 7 citedOpen Access
Lecture notes in computer science·2014· 197 cited
Lecture notes in computer science·2013· 9 cited
TypeScript: The Next Generation To boldly enforce types where no one has enforced types before
2013
Mathematical Structures in Computer Science·2012· 6 cited
Lecture notes in computer science·2012· 41 cited
page 1 of 4Next →
Frequent Co-authors
Matthew Parkinson(9), Erik Meijer(6), Valeria de Paiva(6), Michael Hicks(6), Nikhil Swamy(6), Peter Sewell(5), Mads Torgersen(4), Nick Benton(4), Gareth Stoyle(4), Cédric Fournet(4), Martin Hyland(3), Aseem Rastogi(3), Andrew M. Pitts(2), Iulian Neamtiu(2), Panagiotis Vekris(2), Andrew D. Gordon(2), Cătălin Hriţcu(2), David E. Langworthy(2), Karthikeyan Bhargavan(2), Juan Chen(2)