I was trying to find evidence for the fact that I am who I say I am.
As we know the very bad guys in the publishing racket are always inventing new forms of torture us in terms of "information systems" that are not even passable at what they say they do. While we researchers
have to jump through the rings, pull the ropes, (in poetical Portuguese) "fazer das tripas coração" to convince them that indeed we wrote that paper or the other.
But sometimes you find quite interesting things on the web that you didn't know were online. Like this neat table with my technical reports from the Computer Lab, Cambridge. I also found my name in three different lists of former members of subgroups of the Lab: in the Automated Reasoning group, the Natural Language and Information Processing and the Programming, Logic and Semantics.
The work in ILL with Sara Kalvala in Isabelle is there too, as is the the much more recent stuff for ACT2021, both posters with Elena di Lavore and Wilmer Leal and with Davide Trotta and Matteo Spadetto.
There was also a very interesting book on the history of computing and the lab Cambridge Computing: the first 75 years.
A wiki on Isabelle that looks very informative, think Hausdorff Trimester 2024.
Finally I found a SYCO3 paper I should've known about: "Dioptics: a Common Generalization ofOpen Games and Gradient-Based Learners" by David “davidad” Dalrymple.
