About
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.
0Publications listed
Find Ian Stark elsewhere
Related Searches
You Might Also Like
Ian StarkUniversity of Edinburgh · Senior Lecturer
Leonid LibkinGraz University of Technology · Professor
David AspinallUniversity of Edinburgh · Professor- UUwe NestmannTechnical University of Berlin (TU Berlin) · Professor
Emanuele D’OsualdoMax Planck Institute for Software Systems · Professor
Jules CHOUQUETUniversity of Orléans · Lecturer