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

Contact

email: sabine dot frittella at insa-cvl dot fr