Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(7)
Geological and Geochemical Analysis
(3)
Formal Methods in Verification
(3)
Ancient Egypt and Archaeology
(3)
earthquake and tectonic studies
(2)
Affiliations
University of Cambridge
Google DeepMind (United Kingdom)
Bridge University
Google (United Kingdom)