Contact

• dtsinf.ed.ac.uk, phone +44 131 650 5184, secretary Magdalena Mazurczak (mmazurczinf.ed.ac.uk, +44 131 650 5132)

Research

• My publications (DLBP, Google Scholar) and my Latex bib file. Most of these papers are in my public ftp directory.
• Security via proof-carrying code: Mobility and Security group (projects: MRG, MOBIUS, ReQueST)
• Algebraic specification: book; Extended ML; foundations of formal software development; CoFI [Edinburgh mirror]; CASL [Edinburgh mirror]; Edinburgh work on CoFI/CASL
• 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.

Book

Teaching

• 2010/2011 undergraduate course on Computability and Intractability
• 2010/2011 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 was founding chairman 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 founder and CTO 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 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
• For the benefit of search engines