Joachim de Lataillade



I am currently working as a Researcher at Capital Fund Management, a hedge fund based in Paris, specialised in algorithmic trading.
In my previous life I was doing acadmic research in Theoretical Computer Science. Below are a few references on my curriculum and my publications.


Curriculum

In 2008-2009 I was a postdoc fellow at the IML in Marseille, in the group Logique de la Programmation, as part of the Choco project.
In 2007-2008 I was working at the University of Ottawa, Ontario, in the LFC team, working with Philip Scott on dinaturality and parametricity.
From 2004 to 2007 I did my PhD in the PPS laboratory, where I was supervised by Pierre-Louis Curien, and Olivier Laurent. My PhD defence took place on November 21st 2007.
Before that I attended the DEA Programmation : Sémantique, Preuves et Langages where I discovered the strange beauty of theoretical computer science.

My research interests were :

Publications

Second-Order Type Isomorphisms Through Game Semantics
Annals of Pure and Applied Logic 151(2-3):115-150 (2008) - pdf

Curry-style Type Isomorphisms and Game Semantics
Mathematical Structures in Computer Science, 18(4) : 647-692 (2008) - pdf

Dinatural terms in system F
Logic in Computer Science, to appear (2009) - pdf

Quantification du second ordre en sémantique des jeux - Application aux isomorphismes de types
Thèse de doctorat (2007) - pdf


Works in progress

Strachey Parametricity and Game Semantics
 Under revision for publication in Annals of Pure and Applied Logic - pdf

The hypergame model of system F
Joint work with Dominic Hughes


 Teaching
2007-2008 archives : Calculus for Life Sciences I and Linear Algebra II
2006-2007 archives : Introduction to Computer Science and Logic Tools
2005-2006 archives : Finite automata
 2004-2005 archives : Unix and automata and Data structures
Contact me