Amazon (United States) — United States
Computer Science · Physical Sciences
46h-index6.9kcitations216works0.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(46), Formal Methods in Verification(27), Numerical Methods and Algorithms(26), Logic, Reasoning, and Knowledge(21), Parallel Computing and Optimization Techniques(13)
Publications216 total
arXiv (Cornell University)·2025Open Access
Lecture notes in computer science·2025· 1 citedOpen Access
Cureus·2022· 18 citedOpen Access
2022Open Access
Open University of Cape Town (University of Cape Town)·2020Open Access
Elsevier eBooks·2019
Sistema endocrino y aparato reproductor
Dialnet (Universidad de la Rioja)·2018
IEEE Transactions on Computers·2017· 5 cited
arXiv (Cornell University)·2017· 4 citedOpen Access
'Semantic Versioning V2.0.0' Parser [R package semver version 0.2.0]
2017
2017Open Access
Forum of Mathematics Pi·2017· 328 citedOpen Access
Journal of Automated Reasoning·2015· 8 cited
arXiv (Cornell University)·2015· 53 citedOpen Access
HOL Light Tutorial
2015· 1 cited
Communications of the ACM·2014· 92 cited
page 1 of 11Next →
Frequent Co-authors
Barbara E. Kream(6), Lawrence G. Raisz(5), Sean McLaughlin(4), Carol C. Pilbeam(4), Thomas Hales(3), Tobias Nipkow(3), Steven Obua(3), Josef Urban(3), Roland Zumkeller(3), Hiroshi Kawaguchi(3), David W. Rowe(3), Mark Adams(2), Gertrud Bauer(2), Hoang Le Truong(2), Cezary Kaliszyk(2), Victor Magron(2), Joseph Pleso(2), Jason Rute(2), Alexey Solovyev(2), Ky Vu(2)