About me

I am currently a postdoctoral Research Assistant at Queen Mary University of London, in the theory group under the supervision of Dr. Nikos Tzevelekos. My work is part of the system-level game semantics project, funded by an ESPRC grant.

I am also a former Ph.D student of Nikos Tzelelekos, under whom I completed a Ph.D on the semantics of Linear Logic.


My work currently consists in building a heterogeneous post-compiler tool for JAVA, as part of a larger project whose main goal is to develop a library for distributing java code, informed by mathematical models of computations relying on game semantics.

I did my Ph.D in denotational semantics, field that strives to devise proper mathematical models for software and logic. The purpose of semantics is to both define the meaning of the programs/proofs and to serve as basis for analysis and verification. I notably worked on a game semantics of ML. Following that, I endeavoured to develop a concrete model of linear logic that could dually reflect computations originating from linear proofs, by restraining the instantiation of atomic types to concrete data structures found in programming languages.

Papers and technical reports


See here for my resume.

Contact me

Email: t.d.cuvillier at qmul dot ac dot uk

Office: CS420, Computer science building