Serenella Cerrito
Experte Recherche - France - Ile-de-France - Evry, 94100
Fonction principale
Professeure
Organisme
Université d'Évry Val d'Essonne
Ville de l’organisme
Evry, 94100
Langues parlées
Français
Contact pro
serena.cerrito@ibisc.univ-evry.fr
Contact perso
email@example.com
01 23 45 67 89
Identifiez-vous pour accéder à cette information.
ou
Inscrivez-vous
Réseaux sociaux
Date de mise à jour
20 février 2017Biographie
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
-
- 2008
Logique pour l'informatique : une introduction à la déduction automatique
Vuibert Publisher Co