You could easily contact me via email at this adress: Paul[at]Brunet-Zamansky[dot]fr.
My research interests include (but are not limited to) language theory, formal proofs, type theory, relation algebra, automata theory...
Algebras of relations:
from algorithms to formal proofs
To find out more, see link or lien .
I have been a subreviewer for the following conferences, worshops and journals:
MFCS, FSTTCS, JFLA, JLAMP, EXPRESS/SOS, ICALP, FoSSaCS, Petri Nets, ICFP.