Paul Brunet's home page

Contact: Paul[at]Brunet-Zamansky[dot]fr.

About me

I am a Research Associate in the Programming Principles, Logic and Verification group (PPLV) at UCL’s Dept. of Computer Science, which I joined in January 2017. Since October 2018 I am a member of the IRIS project, working with David Pym and James Brotherston. I hold a PhD in Computer Science from the University of Lyon, under the supervision of Damien Pous.

My research focuses on theoretical aspects of software verification. More specifically I study the algebraic properties of various models of program behaviour. My interests also include logic, automata theory, mechanised proofs, concurrency theory and nominal mathematics. I have authored a number of papers in peer-reviewed international conferences and journals on some of these topics.

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.
To appear in FSCD,
2020.
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
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.

Coauthors

My research is the result of collaborations with many friends and colleagues. I have in particular written papers together with these people:

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.