Ian Stark
Senior Lecturer
Computer science
The University of Edinburgh
United Kingdom
Biography
Ian Stark Position Senior Lecturer Roles Member of Laboratory for Foundations of Computer Science
Research Interest
Mathematical models and machine-assisted proof for reasoning about programming languages, processor architectures, and biochemical systems.
Publications
-
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
-
Randomised testing of a microprocessor model using SMT-solver state generation
-
Extracting Behaviour from an Executable Instruction Set Model
