Planetary Computing Fellow at the University of Cambridge, a computer scientist working alongside ecologists to tackle biodiversity and climate analysis

Hello, I am Xavier. I Like OCaml

tangled guy

Professor of Planetary Computing, University of Cambridge.

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.