Ian Stark

Ian Stark is a Senior Lecturer in Computer Science at the Laboratory for Foundations of Computer Science (LFCS) within the School of Informatics at the University of Edinburgh. His research focuses on mathematical models for programming languages and concurrent systems, particularly reasoning about name generation and secure mobile code. He also explores applications in systems biology using process calculi such as the π-calculus.

Research Interests:

• Programming languages and formal semantics
• Process calculi (π-calculus, nu-calculus)
• Secure mobile code and proof-carrying code
• Systems biology and biochemical modeling
• Concurrency and resource management

Projects:

• REMS: Rigorous Engineering for Mainstream Systems
• App Guarden: Resilient Application Stores
• CerCo: Certified Complexity

Teaching: Current courses include Advances in Programming Languages and Informatics 1: Data & Analysis.