About me |
|
I am currently working with Alexandra Silva in the PPLV group at University College London.
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 |
Reviews
I have been a subreviewer for the following conferences, worshops and journals:
MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP.
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 .
