Marie Fortin

I am a Research Associate at the University of Liverpool. I am part of the Argumentation and Representation of Knowledge and the Verification groups.

Before that, I did my PhD at LSV (ENS Paris-Saclay, France), under the supervision of Benedikt Bollig and Paul Gastin.

My research interests include different areas of logic in computer science, ranging from formal verification of concurrent systems to ontologies and description logics. I am also interested in automata theory, and in particular automata over classes of graphs used in the modelling of complex systems.

Contact: Firstname dot Lastname at liverpool dot ac dot uk