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

I have profiles on these websites:

## Research

My research interests include *(but are not limited
to)* language theory, formal proofs, type theory, relation algebra,
automata theory...

## Publications |
[Full list of papers] |

## Projects |

## Algebras of relations: from algorithms to formal proofsPhd thesis, to find out more, see link or lien . |

## Selected talks |
[More] |

## Editorial activities |

I am a member of the PC of WoLLIC 2020.

I have been a subreviewer for the following conferences, workshops and journals:

MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP, LiCS, CPP, FORTE, SoSyM, TDSC, CSR.

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