My other Web Links and activities:
I am that rare individual who has never been registered with Facebook. :-) Instead:
- My mathematical genealogy is traced here. My dearest ancestor is Liebniz.
- My Erdos Number is 3.
- My Google Scholar page.
- I joined gmail in 2005 by personal invitation, and never since parted with Google. I still prefer to use Gmail over my Uni email account.
This is my Google+ account.
- 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, SWI-Prolog, ML (for Machine Learning), Scottish Programming Language Seminar SPLS, Scottish Theorem Proving STP, Lab for Foundations of Computer Science, Edinburgh LFCS.