James Laird

Dr

  • 1 WEST 4.64

19972018
If you made any changes in Pure these will be visible here soon.

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
Game Semantics Mathematics
Semantics Engineering & Materials Science
Game Mathematics
Denotational Semantics Mathematics
Computer programming languages Engineering & Materials Science
Model Mathematics
Lambda Calculus Mathematics
Calculus Mathematics

Projects 2008 2017

Semantic Types for Verified Program Behaviour

Laird, J.

28/02/1431/07/17

Project: Research council

Semantics
Computer programming languages
Object oriented programming
Model checking
Polymorphism

Sharing and Sequentiality in Proof Systems with Locality

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

29/03/1230/06/14

Project: Research council

Semantic Structures for Higher-Order Information Flow

Laird, J.

20/06/1019/06/12

Project: Research council

Semantics
Computer programming languages
Mathematical models

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 proceedingConference contribution

Open Access
Semantics

From Qualitative to Quantitative Semantics by Change of Base

Laird, J., Apr 2017.

Research output: Contribution to conferencePaper

Open Access
File

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 proceedingConference contribution

File
Game Semantics
Coalgebra
Game
Functor
Transformer
4 Citations

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 proceedingConference contribution

Open Access
File
Fixed point
Semiring
Infinite sum
Denotational Semantics
Monoidal Category