Edinburgh Research Explorer

Dr. Ian Stark

Senior Lecturer

Profile photo

Willingness to take Ph.D. students: Yes

Research Interests

My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code.

Qualifications

Doctor of Philosophy (PhD), University of Cambridge, Names and Higher-Order Functions

Highlighted research outputs

  1. The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Free-algebra models for the π-calculus

    Research output: Contribution to journalArticle

  3. Nominal games and full abstraction for the nu-calculus

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Reducibility and TT-lifting for computation types

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (31) »

ID: 22772