Serenella Cerrito

Experte Recherche - France - Ile-de-France - Evry, 94100

Biographie

Sernella Cerrito travaille en recherche dans le domaine de la logique et de la déduction automatique. Maîtresse de conférences à l'université de Paris-Sud de 1992 à 2002, elle est depuis professeure au département Informatique de l'université d'Évry Val d'Essonne. Ancienne directrice du département, elle est actuellement co-responsable du master mention Informatique d'Évry, dans le cadre du master Paris-Saclay.

Publications

  • Cerrito S. - 2008

    Logique pour l'informatique : une introduction à la déduction automatique

    Vuibert Publisher Co