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.

Research

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 papers is available on my publications page. I also have profiles on these websites:

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.