|
|
|
Research
|
|
|
Interests
- Network of Excellence REWERSE
- REasoning on the WEb with Rules and SEmantics - FP6. We
coordinate the working group on policies & trust.
- ETHICBOTS, an FP6 Coordination
Action
- PRIN
National Research Project: Enhancements and Applications of Disjunctive Logic Programming, funded by Ministero dell'Istruzione, dell'Universita'
e della Ricerca (MIUR), 2007 - 2008.
- PRIN
National Research Project: Synthesis
of deduction-based decision procedures with applications to the
automatic formal analysis of software, funded by Ministero dell'Istruzione, dell'Universita'
e della Ricerca (MIUR), 2003 - 2005.
- The EUREKA
software model checking project
- WASP
Working group on
Answer Set Programming - EU project IST-2001-37004
- FIRB National
Research Project: Automatic Verification of Internet
Security Protocols,
funded by Ministero
dell'Istruzione, dell'Universita'
e della Ricerca (MIUR), 2003
- 2005.
- COFIN 2003 National Project: Analisi ed
elaborazione dei segnali per la
realizzazione di
modelli fisici.
|
|
|
