I am a CNRS researcher at IRIF, Université Paris Cité. I am part of the Automata and applications team. Before this, I was a Research Associate at the University of Liverpool, and I did my PhD at LSV, ENS Paris-Saclay.
I am broadly interested in logic and automata theory. For an up-to-date list of my publications, see my dblp.
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 |