Edinburgh Research Explorer

Dr. Ian Stark

Senior Lecturer

Profile photo
Phone: +44 131 650 5143

Willingness to take PhD 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. Extracting Behaviour from an Executable Instruction Set Model

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  2. Randomised testing of a microprocessor model using SMT-solver state generation

    Research output: Contribution to journal › Article

  3. Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  4. A logic of behaviour in context

    Research output: Contribution to journal › Article

  5. Certified Complexity (CerCo)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  6. Stochastic Modelling of the Kai-based Circadian Clock

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  7. Certified Complexity

    Research output: Contribution to journal › Article

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  9. Free-algebra models for the π-calculus

    Research output: Contribution to journal › Article

  10. Safety Guarantees from Explicit Resource Management

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  11. Monitoring External Resources in Java MIDP

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  12. PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers

    Research output: Book/Report › Anthology

  13. Mobile Resource Guarantees

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  14. MOBIUS: Mobility, ubiquity, security - Objectives and progress report

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  15. Reducibility and TT-lifting for computation types

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  16. Mobile Resource Guarantees for Smart Devices

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  17. Automatic verification of design patterns in Java

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  19. A dependent type theory with names and binding

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  20. Grail: a functional form for imperative mobile code

    Research output: Contribution to journal › Article

  21. Encoding Distributed Areas and Local Communication into the π-Calculus

    Research output: Contribution to journal › Article

  22. Automatic verification of Java design patterns

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  23. A Distributed π-Calculus with Local Areas of Communication

    Research output: Contribution to journal › Article

  24. Names, Equations, Relations: Practical Ways to Reason about new

    Research output: Contribution to journal › Article

  25. Presheaf models for the π-calculus

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  26. A fully abstract domain model for the π-calculus

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  27. Categorical models for local names

    Research output: Contribution to journal › Article

View all (33) »

Research projects

  1. App Guarden: Resilient Application Stores

    Project: Research

  2. REMS: Rigorous Engineering for Mainstream Systems

    Project: Research

  3. CerCo: Certified Complexity

    Project: Research

View all (11) »

Latest datasets

  1. Triangulating Context Lemmas

    Dataset

View all (1) »

ID: 22772