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

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

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

    Research output: Contribution to journalArticle

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

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

  4. A logic of behaviour in context

    Research output: Contribution to journalArticle

  5. Certified Complexity (CerCo)

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

  6. Stochastic Modelling of the Kai-based Circadian Clock

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

  7. Certified Complexity

    Research output: Contribution to journalArticle

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

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

  9. Free-algebra models for the π-calculus

    Research output: Contribution to journalArticle

  10. Safety Guarantees from Explicit Resource Management

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

  11. Monitoring External Resources in Java MIDP

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

  12. Mobile Resource Guarantees

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

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

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

  14. Reducibility and TT-lifting for computation types

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

  15. Mobile Resource Guarantees for Smart Devices

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

  16. Automatic verification of design patterns in Java

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

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

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

  18. A dependent type theory with names and binding

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

  19. Grail: a functional form for imperative mobile code

    Research output: Contribution to journalArticle

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

    Research output: Contribution to journalArticle

  21. Automatic verification of Java design patterns

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

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

    Research output: Contribution to journalArticle

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

    Research output: Contribution to journalArticle

  24. Presheaf models for the π-calculus

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

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

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

  26. Categorical models for local names

    Research output: Contribution to journalArticle

View all (31) »

Highlighted research projects

  1. REMS: Rigorous Engineering for Mainstream Systems

    Project: Funded ProjectResearch

  2. App Guarden: Resilient Application Stores

    Project: Funded ProjectResearch

  3. CERCO: Certified Complexity

    Project: Funded ProjectResearch

  4. MOBIUS: Mobility, Ubiquity and Security

    Project: Funded ProjectResearch

View all (12) »

ID: 22772