Projects per year

## Personal profile

### Research interests

Research interests lie in and around denotational semantics: the interpretation of computer programs and logical proofs as mathematical objects, such as strategies for a game, functions between domains or morphisms in a category. Jim aims to use these representations to describe, constrain and reason about particular computational effects and control and data flow generally.

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 3 Similar Profiles

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Projects 2008 2017

- 6 Finished

### Games and Differential Nets for Concurrent Systems

Laird, J., Guglielmi, A., McCusker, G. & Power, A.

1/08/15 → 30/11/17

Project: Research council

### Sharing and Sequentiality in Proof Systems with Locality

Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, A.

29/03/12 → 30/06/14

Project: Research council

### Graph Models of Functional, Imperative and Logic Programming

McCusker, G., Guglielmi, A., Laird, J. & Power, A.

20/01/11 → 31/01/14

Project: Research council

## Research Output 1997 2018

### A fully abstract game semantics for countable nondeterminism

Gowers, W. J. & Laird, J. D., 1 Aug 2018,*Computer Science Logic 2018, CSL 2018.*Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Extensional and intensional semantic universes: A denotational model of dependent types

Blot, V. & Laird, J., 9 Jul 2018,*Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018.*IEEE, Vol. Part F138033. p. 95-104 10 p. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

### Combining Control Effects and Their Models: Game Semantics for a hierarchy of static, dynamic and delimited control effects.

Laird, J., 28 Feb 2017, In : Annals of Pure and Applied Logic. 168, 2, p. 470-500 31 p.Research output: Contribution to journal › Article

### From Qualitative to Quantitative Semantics by Change of Base

Laird, J., Apr 2017.Research output: Contribution to conference › Paper

### Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

Gowers, W. J. & Laird, J., 31 May 2017,*Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science.*Bonchi, F. & König, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (LIPIcs).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

## Thesis

## Modular Normalisation of Classical Proofs

Author: Ralph, B., 3 Apr 2019Supervisor: Laird, J. (Supervisor) & Guglielmi, A. (Supervisor)

Student thesis: Doctoral Thesis › PhD