My other Web Links and activities:

I am that rare individual who has never been registered with Facebook, Instagram, Twitter, TikTok, etc. :-) 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 maintain a Youtube channel dedicated to those 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.
• 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.
• Finally: I am nowhere else on the web!