gazagnaire.org

10 followers 6 following

Punchcard 0 commits

All following

Mostly on sr.ht, but sometimes also here.

2 followers 4 following

5 followers 3 following

6 followers 6 following

https://patrick.sirref.org

8 followers 2 following

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

9 followers 9 following

Professor of Planetary Computing, University of Cambridge.

28 followers 25 following