About me |
I am currently working with David Pym and James Brotherston in the PPLV group at University College London. I am a research associate in the IRIS project.
You could easily contact me via email at this adress: Paul[at]Brunet-Zamansky[dot]fr.
My CV is here, and you can download it as a PDF in english or in french.
Research |
Publications |
An up-to-date list of publications is available [here]. I also have profiles on these websites:
Topics
My research interests include (but are not limited to) language theory, formal proofs, type theory, relation algebra, automata theory...
Algebras of relations:
from algorithms to formal proofs
(Phd thesis) To find out more, see link or lien . |
Selected talks |
[More] |
Pomset languages and concurrent Kleene algebras | [slides] | |
Séminaire automates, Paris, November 2017 | ||
On Decidability of Concurrent Kleene Algebra | [slides] | |
CONCUR, Berlin, September 2017 | ||
The Equational Theory of Algebras of Languages | [slides] | |
BLAST, Nashville, August 2017 | ||
The Equational Theory of Positive Relation Algebra | [slides] | |
MOVE, Marseille, March 2017 | ||
A formal exploration of Nominal Kleene Algebra | [slides] | |
MFCS, Krakow, August 2016 | ||
Une introduction aux algèbres de Kleene | [slides] | |
Inter'Actions, Lyon, May 2016 (in French) | ||
Petri automata for Kleene Allegories | [slides] | |
LiCS, Kyoto, July 2015 | ||
Kleene Algebra with Converse | [slides] | |
RAMiCS, Marienstatt, April 2014 |
Reviews
I have been a subreviewer for the following conferences, worshops and journals:
MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP, LiCS, CPP, FORTE, SoSyM, TDSC.
Some links |
I also have friends! For instance: Samuel Le Fourn Antoine Toubhans Franck Iutzeler Julien Sabin Olivier Glorieux Valentin Blot Guillaume Aupy Jean-Marie Madiot Antoine Pauthier Luc Dartois .