My other Web Links and activities:

I am that rare individual who has never been registered with Facebook or Instagram. :-) Instead:

• My mathematical genealogy is traced here. My favourite mathematical ancestor is Gottfried Wilhelm Leibniz.
• My Erdos Number is 3.
• I look after my team's webpage: LAIV -- the Lab for AI and Verification. It is a diverse, freindly research group, that runs its weekly seminars on-line as well as face-to-face. We always welcome external visitors to the seminars.
• My Google Scholar page is reasonably looked after.
• I joined Gmail in 2005 by personal invitation, and never since parted with Google mail.
• My DBLP entry is reasonably accurate.
• My grants with EPSRC are listed here.
• I was blessed with never having to look for a job via LinkedIn, but have an account there. (Not really looked after)
• I am subscribed to the following mailing lists: Coq, Haskell, Agda, SWI-Prolog,) Scottish Programming Language Seminar SPLS, Scottish Theorem Proving STP, Lab for Foundations of Computer Science LFCS, and a few more...
• I am an active user of Slack and Zoom for anything that concerns running research group and research collaborations.
• For collaborative work, I use Github (mostly in private mode or through project pages like this. I occasionally use Bitbucket.
• I used to support the Russian-speaking independent TV channel TVRain, which was shut by the Russian government in March 2022 for its anti-war position. I still support the Youtube channel run by the team of Alexei Navalny NavalnyLive, which is probably the last remaining consolidated voice for change in Russia.
• Finally: I am nowhere else on the web!