Serenella Cerrito

Current Position

Professor :

Université d'Evry Val d'Essonne
Member of I.B.I.S.C Laboratory , COSMO Team.
Responsible of the first year (M1) of Master in Computer Science, Université Paris-Saclay, Evry site.

Research

Research interests

Current
- Logic and Automated Deduction
- Logics for Specification and Automated Verification of Open Systems
Old
- Logic and Databases
- Logic and Logic Programming
- Logic and Functional Programming.

Publications

Teaching

The current courses are on Logic (L2, M1), Databases (L3, M1), Formal Specifications and Verification (M1), Alternating Temporal Logic, Specification and Verification of Open Systems (M2 CILS). All the material is online on the "E-media" platform of the University of Evry.

COORDINATES
IBISC lab, IBGBI Institute
Université d'Evry Val d'Essonne
23 bd de France
91034 - EVRY 91000 Evry Cedex
Telephone: +33.(1).64.85.35.20
Fax: +33 (1) 64.85.36.01
e-mail: Serenella.Cerritouniv-evry.fr