Serenella Cerrito

Current Position

Professor :

• Université d'Evry Val d'Essonne
• Member of I.B.I.S.C Lab.
• LIS Team
• Director of the Computer Science Departement of Université d'Evry Val d'Essonne (since september 2010). Département d'Informatique d'Evry

Research

• RESEARCH INTEREST

  • OLD
    • Logic and Databases
    • Logic and Logic Programming
    • Logic and Functional Programming.
    
    
  • CURRENT
    • Logic and Automated Deduction
    • Logics for Specification and Automated Verification of Open Systems

• Publications




• Software

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



Teaching



• Responsible for M1 "Informatique-MOPS", 2009-2010: Seminars and TER
  • Sujets de TER M1 "Informatique" 2009-2010
  • Séminaires M1 2009-2010


• Current Teaching (2010-2011 and 2011-2012)
  
  
• Some Old Teaching






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: Serena.Cerrito@ibisc.univ-evry.fr