Paul Brunet's home page

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:

dblp Google Scholar Research Gate ORCID

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]
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.
With David Pym.
Submitted in FSCD,
2020.
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
To appear in FoSSaCS,
2020.
A Complete Axiomatisation of a Fragment of Language Algebra.
In CSL,
2020.
A note on commutative Kleene algebra.
2019.
A Kleene theorem for nominal automata.
In ICALP,
2019.

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.