Paul Brunet's home page

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.

My research interests include (but are not limited to) language theory, formal proofs, type theory, relation algebra, automata theory...

Publications

An up-to-date list of publications is available [here]. I also have profiles on these websites:

dblp

Google Scholar

Research Gate

ORCID

Projects

Algebras of relations: from algorithms to formal proofs Phd thesis, to find out more, see link or lien .

	Relation algebra.
	Language algebra.
	Nominal Kleene algebra.
	Concurrent Kleene algebra.
	Bracket Algebra.

If you have time to kill visit Project Euler.

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 .