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, RESA)
• Algebraic specification: book; Extended ML; foundations of formal software development; CoFI and CASL; 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

• 2012/2013 1st-year undergraduate course on Functional Programming
• 2010/2011 3rd-year undergraduate course on Computability and Intractability
• 2010/2011 3rd-year 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.
• Ph.D. application information is here.

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. and Computer Science Review.

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.
• 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 (jobs available!)
• 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