Paul Brunet's home page

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

Selected talks

c On Decidability of Concurrent Kleene Algebra [slides]
CONCUR, Berlin, September 2017
c The Equational Theory of Algebras of Languages [slides]
BLAST, Nashville, August 2017
c The Equational Theory of Positive Relation Algebra [slides]
MOVE, Marseille, March 2017
c A formal exploration of Nominal Kleene Algebra [slides]
MFCS, Krakow, August 2016
c Une introduction aux algèbres de Kleene [slides]
Inter'Actions, Lyon, May 2016
c Petri automata for Kleene Allegories [slides]
LiCS, Kyoto, July 2015
c 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.