Since September 2016, I am a Maître de Conférences at the engineering school INSA Centre Val de Loire. I am the team leader of the research team Sécurité des Données et des Systèmes (Security of Data and Systems) in the Laboratoire d'Informatique Fondamentale dOrléans.
I defended my thesis on Monotone Modal Logic in 2014 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 insa-cvl dot fr