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.

- 2 Similar Profiles

## 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

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

Laird, J., Feb 2017, In : Annals of Pure and Applied Logic. 168, 2, p. 470-500Research 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

### Fixed points in quantitative semantics

Laird, J., 5 Jul 2016,*LICS '16, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science .*Shankar, N. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 347-356

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