*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:

## News |
[News archive] |

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

## Coauthors |

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

## Projects |

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

## Selected talks |
[More] |

séminaire LIRICA, Marseille, January 2021

*(in French)*

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

## Teaching

*MEng/BSc Computer Science, University College London*- Computability and Complexity Theory – problem classes (2017-2019) [More]

*Master program in ÉNS de Lyon*- Semantics and Verification – exercises (2016) [more]

*Master program in UCB Lyon 1*- Calculability and complexity – exercises (2014-2015)

*Bachelor degree in UCB Lyon 1*- Industrial Internship – reports (2014-2016)
- Theory of formal languages – exercises & project (2013-2015)
- Classical logic – exercises & project (2014-2015)
- Numeric Algorithms – exercises (2013)
- Algorithmics and Imperative programming – exercises & programming (2013-2014)

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