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