Serenella Cerrito
Current Position
Professor :
Research
-
Research Interests
- Logic and Automated Deduction
- Logic and Databases
- Logic and Logic Programming
- Logic and Functional Programming.
-
-
Software
GQML Theorem Prover on the web. Implemented by V. Thion
during her Phd. Thesis
Teaching 
A new book for teaching logic (in French) :
Some interesting books 
Here
Address information:
IBISC
Université d'Evry,Ibisc, Département d'informatique
Tour Evry 2, 523 Place des terrasses de l'agora
91000 Evry Cedex
Telephone: +33.(1).60.87.39.11
Fax: +33 (1) 60.87.37.89
e-mail: Serena.Cerrito@ibisc.univ-evry.fr