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.

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

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

Phd thesis, to find out more, see link

or lien

	Pomset languages and concurrent Kleene algebras	[slides]
	Séminaire automates, Paris, November 2017
	On Decidability of Concurrent Kleene Algebra	[slides]
	CONCUR, Berlin, September 2017
	The Equational Theory of Algebras of Languages	[slides]
	BLAST, Nashville, August 2017
	The Equational Theory of Positive Relation Algebra	[slides]
	MOVE, Marseille, March 2017
	A formal exploration of Nominal Kleene Algebra	[slides]
	MFCS, Krakow, August 2016
	Une introduction aux algèbres de Kleene	[slides]
	Inter'Actions, Lyon, May 2016 (in French)
	Petri automata for Kleene Allegories	[slides]
	LiCS, Kyoto, July 2015
	Kleene Algebra with Converse	[slides]
	RAMiCS, Marienstatt, April 2014

I have been a subreviewer for the following conferences, worshops and journals:

MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP, LiCS, CPP, FORTE, SoSyM, TDSC.

If you have time to kill visit Project Euler.