Amazon (Germany) — Germany
Computer Science · Physical Sciences
13h-index974citations27works1.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(7), Advanced Mathematical Theories and Applications(6), Formal Methods in Verification(5), Logic, Reasoning, and Knowledge(5), Mathematics and Applications(5)
Publications27 total
2025· 1 cited
The Astrophysical Journal·2021· 8 citedOpen Access
Zenodo (CERN European Organization for Nuclear Research)·2021Open Access
Lecture notes in computer science·2020· 13 citedOpen Access
arXiv (Cornell University)·2019· 18 citedOpen Access
The Astrophysical Journal·2019· 131 citedOpen Access
Lecture notes in computer science·2019· 57 citedOpen Access
Forum of Mathematics Pi·2017· 328 citedOpen Access
Statistical Computing for Galaxy Modeling and Gravitational Lens Detection
2015
arXiv (Cornell University)·2015· 53 citedOpen Access
Statistical Computing for Galaxy Modeling and Residual Detection
American Astronomical Society Meeting Abstracts #225·2015
2011· 14 cited
Journal of the American Mathematical Society·2010Open Access
Journal of the American Mathematical Society·2009· 28 cited
Discrete & Computational Geometry·2009· 98 citedOpen Access
arXiv (Cornell University)·2009Open Access
Lecture notes in computer science·2009· 24 citedOpen Access
An interpretation of isabelle/hol in hol light
2008· 3 cited
Flyspeck in a Semantic Wiki.
2008· 4 cited
Lecture notes in computer science·2008· 29 citedOpen Access
page 1 of 2Next →
Frequent Co-authors
Thomas Hales(8), John Harrison(7), Tobias Nipkow(5), Steven Obua(5), Roland Zumkeller(5), Risa H. Wechsler(4), Neha Rungta(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), Josef Urban(2), Ky Vu(2), Joseph DeRose(2), Jeremy L. Tinker(2), M. R. Becker(2)