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


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


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).


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

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.
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]