About me

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.

Previously, I was a PostDoc at the Delft University of Technology in the Applied Logic group (Faculty of Technology, Policy and Management).

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

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 also collaborate with researchers in social sciences and computer sciences to use modal logics to formalize and study problems in their fields : I currently work on formalizing categorization theory, the Matthew effect and the concept of limited data collection in privacy.

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

Contact

email: sabine dot frittella at insa-cvl dot fr