Research
Specialisations
- Anthropology
- Archeology
- Paleontology
- Computational Theory and Mathematics
- Artificial Intelligence
Research topics
- Pleistocene-Era Hominins and Archaeology
- Archaeological and Geological Studies
- Archaeology and ancient environmental studies
- Formal Methods in Verification
- Logic, programming, and type systems
- Publications
- 169
- Citations
- 6K
- h-index
- 12
- Papers, last 3 years
- 3
Members only · Free to join
Sign in to see the full profile
See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.
- Research funding
- Affiliations
Free forever No credit card 30-second sign-up
