About me

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).

I have a master in Engineering from the engineering school Centrale Marseille and a master in Foundations of Computer Science from Aix-Marseille University.

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)

My CV

Contact
email: sabine dot frittella at centrale-marseille dot fr