Serenella Cerrito

Current Position

Professor :

• Université d'Evry Val d'Essonne
• Member of I.B.I.S.C (previously : L.a.M.I.)
• LIS Team
• Responsible of the first year (M1) of the Master Mops and the Master ASR.
• Sujets de TER M1 2010
• Séminaires M1 2010

Research

• Research Interests

  • Logic and Automated Deduction
  • Logic and Databases
  • Logic and Logic Programming
  • Logic and Functional Programming.



• Publications




• Software

  • GQML Theorem Prover. Implemented by V. Thion during her Phd. Thesis
  
  
  • Pilate and Herod, two tableau provers for basic hybrid logic



Teaching



A new book for teaching logic (in French) :




• Sujets de TER M1 2010
• Current Teaching (2009-2010)
• Some Old Teaching

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