Research

• My publications (DLBP) and my Latex bib file. Most of these papers are in my public ftp directory. My publications and their citations according to Google Scholar.
• Security via proof-carrying code: Mobility and Security group (projects: MRG, MOBIUS, ReQueST)
• Algebraic specification: Extended ML; foundations of formal software development; CoFI [Edinburgh mirror]; CASL [Edinburgh mirror]; Edinburgh work on CoFI/CASL; a book on algebraic specification
• Some other past and present research grants
• I did some work on the navigation system of the Dervish landmine-detonating robot. A 1999 CNN broadcast about the Dervish is here.

Teaching

• 2009/2010 undergraduate course on Computability and Intractability
• 2009/2010 undergraduate course on Functional Programming and Specification
• 2002/2003 postgraduate course on Theory and Practice of Algebraic Specification
• My Ph.D. students, present and past, and some past M.Sc. and undergraduate students.
• I am recruiting new Ph.D. students! Application information is here. Look here (and search for "Sannella") for some possible Ph.D. topics.

Editorial

• I am editor-in-chief of the journal Theoretical Computer Science, responsible for part B: Logic, Semantics and Theory of Programming [web submission, instructions for guest editors of TCS special issues].
• I am an editor of Electronic Notes in Theoretical Computer Science [submission instructions].
• I am an editor of Computer Science Review [submission instructions].

Other work-related stuff

• I am Head of the Informatics Graduate School at Edinburgh University.
• I was founding chairman and am currently treasurer of the ETAPS steering committee, and was general chair of ETAPS 2005 in Edinburgh, 2-10 April 2005.
• I am Vice President of the European Association for Theoretical Computer Science.
• Some position papers on research funding priorities
• Student sponsorship opportunities at the School of Informatics

Me, plus miscellaneous

• A short CV
• I am a director of Contemplate Ltd (jobs available!)
• A list of interesting WWW pages, now largely out of date
• 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 and Caelan go to George Heriot's School. Kara likes doing manga-style drawings, like these on the Milner lecture posters: 2006 2007, this one on model checking and the database group's 2009 Christmas card.
• My PGP public key and vCard
• I'm a member of Penicuik Archers
• I'm not interested in MLM schemes, helping you transfer $25 million from Nigeria or any other country, or other ways of Making Money Fast. If you want to make me rich then simply send me a large sum of money. You can do so electronically, to account dtsdcs.ed.ac.uk on PayPal or NOCHEX.
• Produce a pathetic automatic translation of this page in your favourite language. Then translate the result back to English.
• For the benefit of search engines