Pierre-Alain Reynier

Contact:

Laboratoire d’Informatique Fondamentale de Marseille
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France


Office : A208 (academic library, 2nd floor)
Phone : +33 (0)4 86 09 06 73
Fax : +33 (0)4 86 09 ?? ??

E-mail : firstname.lastname@lif.univ-mrs.fr



Welcome!

News:

The french colloquium on Modelization of Reactive Systems (MSR) will be held in Marseille in 2017. Please visit the webpage.

The conference Highlights on Games, Logic and Automata was held in Brussels in 2016.

The conference on Computer Science Logic (CSL 2016) was held in Marseille. Please visit the webpage.

On May 20, I gave a survey on transducers at the monthly seminar of CFV, at Brussels. Here are the slides.

Recent work:

Two papers accepted to FoSSaCS'17:

Together with Emmanuel Filiot, we pubslihed a survey on transducers in Siglog Newsletter, July 2016.

New paper accepted to DLT'16: Aperiodic String Transducers (with Luc Dartois and Ismael Jecker). See a previous version on arXiv.

Two papers accepted to LICS'16:

New paper accepted to International Journal of Foundations of Computer Science: Visibly Pushdown Transducers with Well-nested Outputs (with Jean-Marc Talbot).

Recent work on comparison of Streaming String Transducers and HDT0L systems on arXiv. (with Emmanuel Filiot).

Research Topics:

Formal Methods, Verification, Model-Checking, Automata, Logic, Transducers, Timed systems, Petri nets, Concurrency, Robustness.

More details are available via the Research link.

Curriculum Vitae:

A version can be found here (updated oct. 2015).

Publications:

They are available via the Publications link.

Teaching:

Informations (in french) are available via the Teaching link.