Research output per year
Research output per year
Personal profile
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
Fingerprint
Dive into the research topics where Ian Stark is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Extracting Behaviour from an Executable Instruction Set Model
Campbell, B. & Stark, I., 27 Mar 2017, Proceedings of the 16th Conference on Formal Methods in Computer - Aided Design (FMCAD 2016). Mountain View, CA, USA: FMCAD Inc, p. 33-40 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Randomised testing of a microprocessor model using SMT-solver state generation
Campbell, B. & Stark, I., 1 Mar 2016, In: Science of Computer Programming. 118, p. 60-76 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
Banks, C., Seaton, D. D. & Stark, I., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer, p. 222-238 17 p. (Lecture Notes in Computer Science; vol. 9308).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A logic of behaviour in context
Banks, C. J. & Stark, I., 1 Jan 2014, In: Information and Computation. 236, p. 3-18 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Certified Complexity (CerCo)
Amadio, R., Ayache, N., Bobot, F., Boender, J., Campbell, B., Garnier, I., Madet, A., McKinna, J., Mulligan, D., Piccolo, M., Pollack, R., Régis-Giannas, Y., Sacerdoti Coen, C., Stark, I. & Tranquilli, P., 2014, Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers from the Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013. Springer, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 8552).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
Copy of Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
Stark, I. (Principal Investigator)
1/05/24 → 30/04/29
Project: Research
-
EPOCH: Effectful Programming on Capability Hardware
Lindley, S. (Principal Investigator) & Stark, I. (Co-investigator)
Huawei Technologies Research & Development (UK) Limited
1/09/23 → 31/03/26
Project: Research
-
Digital Security by Design (DSbD) Technology Platform Prototype
Stark, I. (Principal Investigator)
1/11/19 → 28/02/25
Project: Research
-
Digital Security by Design (DSbD) Technology Platform Prototype
Stark, I. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/11/19 → 31/03/24
Project: Research
-
App Guarden: Resilient Application Stores
Aspinall, D. (Principal Investigator), Franke, B. (Co-investigator), Gordon, A. (Co-investigator), Sannella, D. (Co-investigator), Stark, I. (Co-investigator) & Sutton, C. (Co-investigator)
1/09/13 → 31/08/16
Project: Research
Datasets
-
Triangulating Context Lemmas
McLaughlin, C. (Creator), McKinna, J. (Creator) & Stark, I. (Creator), Edinburgh DataShare, 6 Dec 2017
DOI: 10.7488/ds/2264, https://popl18.sigplan.org/event/cpp-2018-triangulating-context-lemmas
Dataset
-
Morello Cerise Artifact
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
Dataset