Ian Stark

Senior Lecturer in Computer Science

Laboratory for Foundations of Computer Science
School of Informatics
The University of Edinburgh
Edinburgh EH8 9AB, Scotland

Email:	Ian.Stark@ed.ac.uk

Phone:	+44 131 650 5143 (Work)
	+44 131 228 4101 (Home)
Fax:	+44 131 651 1426
Office:	Informatics Forum 5.04

Research

Papers · Talks

My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and mobile code. Below are some recent papers, talks and events; for more follow the links above.

The Continuous π-Calculus: A Process Algebra for Biochemical Modelling. Kwiatkowski and Stark, October 2008. (PDF)
Safety Guarantees from Explicit Resource Management. Aspinall, Maier and Stark, August 2008.
Free-Algebra Models for the π-Calculus. Stark, January 2008.

Reasons to Believe: Digital Evidence to Guarantee Trustworthy Mobile Code. fet 09, Prague, April 2009. (Slides)
Some Hedge Mazes. LFCS lab lunch, March 2009. (Slides, 19M)
What if Hoare Logic were not hypothetical? Schloss Dagstuhl, February 2008. (Abstract)

Events: PCC 2009 workshop; FOSAD 2009 summer school; APL 2009 summer school.

Projects

Proof-Carrying Code: See this flyer for an overview of some work in the LFCS Mobility and Security group on proof-carrying Java bytecode.
Mathematical Models for Concurrent and Mobile Code
Process Algebras in Systems Biology
Names, State and the nu-Calculus

Students

Marek Kwiatkowski is working on the continuous π-calculus, a process algebra for modelling behaviour and variation in biomolecular systems.

Information about studying for a PhD at Edinburgh

Teaching

Current courses (2008/2009)

Past courses

Advanced Programming in Java
Language Processing
Individual Programming Project: A µOCCAM compiler
Computer Literacy: Algorithms and Programs

Models of Computation
Semantics of Computation
Domain Theory
Advances in Semantics

Spider Food

Subjects: mathematical logic, category theory, type theory, principles of programming languages, denotational semantics, operational semantics, domain theory, game semantics, functional programming, Standard ML, Java, proof-carrying code, process calculi, pi-calculus, systems biology, nu-calculus, reasoning with names.

People: David Aspinall, Nick Benton, Lennart Beringer, Gavin Bierman, Julian Bradfield, Luca Cattani, James Cheney, Juliusz Chroboczek, Adriana Compagnoni, Vincent Danos, Marcelo Fiore, Dan Ghica, Stephen Gilmore, Andrew Gordon, Jane Hillston, Martin Hofmann, Andrew Kennedy, Paul-André Melliès, Eugenio Moggi, Andrzej Murawski, Peter O'Hearn, Luke Ong, Andrew Pitts, Don Sannella, Alex Simpson, Perdita Stevens, Glynn Winskel.