My contact details

My email: my surname at gmail.com

I work in two universities, Heriot-Watt and Southampton.

My HWU address:

School of Mathematical and Computer Sciences

Earl Mountbatten Building [ building 21, office G26 ]

Heriot-Watt University

Edinburgh, UK, EH14 4AS

My SOTON address:

School of Electronics and Computer Sciences

New Earl Mountbatten Building [ building 53, office 4039 ]

Southampton University

Southampton, UK, SO17 1BF

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.
• The University of Southampton runs uniform platfrom for staff pages, and this is mine.
• I look after my team's webpage: LAIV -- the Lab for AI and Verification. 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!