Research output per year
Research output per year
DR.
Accepting PhD Students
My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code.
Doctor of Philosophy (PhD), University of Cambridge, Names and Higher-Order Functions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Stark, I. (Principal Investigator)
1/05/24 → 30/04/29
Project: Research
Lindley, S. (Principal Investigator) & Stark, I. (Co-investigator)
Huawei Technologies Research & Development (UK) Limited
1/09/23 → 31/03/26
Project: Research
Stark, I. (Principal Investigator)
1/11/19 → 28/02/25
Project: Research
Stark, I. (Principal Investigator)
UK central government bodies/local authorities, health and hospital authorities
1/11/19 → 31/03/24
Project: Research
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
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
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
Dataset