I have a master in Engineering from the engineering school Centrale Marseille and a master in Foundations of Computer Science from Aix-Marseille University.
I am a Maître de Conférences at the engineering school INSA Centre Val de Loire. I am a member of the team Sécurité et Distribution des Systèmes (Security and Distributed Computing) in the Laboratoire d'Informatique Fondamentale dOrléans.
Previously, I was a PostDoc at the Delft University of Technology in the Applied Logic group (Faculty of Technology, Policy and Management).
I did my PhD on Monotone Modal Logic under the supervision of Alessandra Palmigiano (Applied Logic, Delft University of Technology) and Luigi Santocanale (MoVe, Aix-Marseille University) and under the (informal) co-supervision of Giuseppe Greco (Applied Logic, Delft University of Technology).
My research field is mathematical logic; I study modal logics, both from an algebraic and category-theoretic perspective and from a proof-theoretic perspective. My research concerns various nonclassical logics, from substructural to dynamic logics through mu-calculus. I am currently the webmaster of the website Logics for Social Behaviour.
I am qualified for the position of Maître de conférences in
section 25 (Mathematics)
section 27 (Computer Sciences)
section 72 (Epistemology and History of Sciences)
email: sabine dot frittella at centrale-marseille dot fr