===== Marie Fortin =====

I am a CNRS researcher at [[https://www.irif.fr|IRIF]], Université Paris Cité. I am part of the [[https://www.irif.fr/equipes/automates|Automata and applications]] team. Before this, I was a Research Associate at the [[https://www.liverpool.ac.uk/|University of Liverpool]], and I did my PhD at [[http://www.lsv.fr|LSV]], ENS Paris-Saclay.

==== Research ====

I am broadly interested in logic and automata theory. For an up-to-date list of my publications, see my [[https://dblp.org/pid/177/6212.html|dblp]].

==== Contact ====

| email   | <marie.fortin@irif.fr> |
| Office  | 4016 |
| Phone   | +33 (0)1 57 27 94 00 |
| Address | IRIF \\ Université Paris Cité \\ Bâtiment Sophie Germain, Case courrier 7014 \\ 8 Place Aurélie Nemours \\ 75205 Paris Cedex 13 |