Don Sannella

> Don Sannella

Contact

In 2001-2024 I was Editor-in-Chief of the journal Theoretical Computer Science, responsible for part B: Logic, Semantics and Theory of Programming.

I was founding chairman of the ETAPS steering committee - see here for some memories - and was general chair of ETAPS 2005 in Edinburgh, 2-10 April 2005.

Sannellabration!, Uppsala, 23 April 2017, and a Festschrift
A short CV and a short video.
I am a Fellow of the Royal Society of Edinburgh.
I am founder and CEO of Contemplate Ltd
Family: Kara, 10 and Caelan, 7 in January 2004. Kara, 7, Caelan, 4, and both together in May 2001. Kara, 5 and Caelan, nearly 2, on holiday in Tunisia in October 1998. Kara likes doing manga-style drawings, like these on the Milner lecture posters: 2006 (On the impossibility of obfuscation), 2007 (Finite model theory), 2017 (Telling molecules what to do), 2018 (Swift logic for big data and knowledge graphs), this one on model checking and the database group's 2009 Christmas card. Kara does other kinds of drawings and paintings too: poster from her November 2014 exhibition.
I used to be a member of Penicuik Archers
I play mandolin, having started out with lessons from Andy Miller. Sometimes I play traditional music in the Monday evening slow session at Bennet's Bar.
I love to ski.
For the benefit of search engines

Last modified: Tue Aug 19 10:27:20 BST 2014