>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]

Avvisi
22/11/2017Intelligenza Artificiale: Human. The next ones. The everyday life @ the age of AI. Il 22 Novembre presso la sede del CNR di Roma. I dettagli sono disponibili qui. Ingresso gratuito.

Research

Research areas

My research interests involve the following main topics:
  • Artificial Intelligence
  • Formal verification
  • Knowledge representation and reasoning
  • Computational logic
  • Computational complexity
  • Constraint modelling and solving
  • Database theory
  • Software engineering

Affiliations

Member of the Model Checking Research Lab at Computer Science Department, Sapienza University.
Member of the RCRA (Rappresentazione della Conoscenza & Ragionamento Automatico, i.e., Knowledge Representation & Automated Reasoning) working group of the Italian Association for Artificial Intelligence (AI*IA).

Publications

A selected list of my publications can be found here.

Current projects

Energy Demand Aware Open Services for Smart Grid Intelligent Automation
  • EU FP7 Project
  • Call: FP7-ICT-2011-8
  • Objective: ICT-2011.6.1 (Smart Energy Grids)
Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases
  • EU FP7 Project
  • Call FP7-ICT-2011-9
  • Objective ICT-2011.5.2 (Virtual Physiological Human)

Forthcoming events

No forthcoming events.

Recent events

2016
The 23rd RCRA workshop "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2016).
Genova, Italy, 28 November 2016.
Member of the Programme Committee.
IJCAI 2016 The 25th International Joint Conference on Artificial Intelligence (IJCAI 2016).
New York City, NY, Usa, 9-15 July 2016.
Member of the Program Committee.
MODELSWARD 2016 The 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016).
Rome, Italy, 19-21 February 2016.
Panelist and speaker at the European Project Space.
2015
The 22nd RCRA workshop "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2015).
Ferrara, Italy, 22 September 2015.
Member of the Programme Committee.


This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V