Sotabase

Career

· Lecturer, University of Edinburgh1997–
· Marie Curie Fellow, University of Pisa1995–1995
· Member, BRICS (Basic Research in Computer Science)
· PhD in Computer Science, University of Cambridge

Publications (57)

Free-Algebra Models for the pi-Calculus
Foundations of Software Science and Computation Structure · 2005
627
cited
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling
Computational Methods in Systems Biology · 2008
334
cited
Mobile Resource Guarantees for Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices · 2004
245
cited
Operational reasoning for functions with local state
1999
218
cited
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?
International Symposium on Mathematical Foundations of Computer Science · 1993
212
cited
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
Proc. ACM Program. Lang. · 2019
133
cited
Names and higher-order functions
1994
120
cited
A fully abstract domain model for the /spl pi/-calculus
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science · 1996
103
cited
Randomised testing of a microprocessor model using SMT-solver state generation
Science of Computer Programming · 2014
95
cited
Nominal games and full abstraction for the nu-calculus
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. · 2004
81
cited
Categorical models for local names
LISP and Symbolic Computation · 1996
80
cited
Automatic verification of design patterns in Java
International Conference on Automated Software Engineering · 2005
67
cited
Presheaf Models for the pi-Calculus
Category Theory and Computer Science · 1997
51
cited
A Dependent Type Theory with Names and Binding
Annual Conference for Computer Science Logic · 2004
50
cited
On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (Preliminary Report)
1993
48
cited
Grail: a functional form for imperative mobile code
FGC · 2003
39
cited
Names, Equations, Relations: Practical Ways to Reason about new
Fundamenta Informaticae · 1997
39
cited
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
IEEE Symposium on Security and Privacy · 2020
39
cited
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
European Symposium on Programming · 2022
38
cited
Automatic verification of Java design patterns
International Conference on Automated Software Engineering · 2001
37
cited
Sotabase
Ian Stark | Researcher Profile | Sotabase | Sotabase