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


Research areas

My research interests involve the following main topics:
  • Artificial intelligence
  • Formal verification and model checking
  • Simulation-based verification and synthesis of Cyber-Physical Systems and Virtual Physiological Human models
  • Knowledge representation and reasoning
  • Constraint modelling and solving


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

No recent events.

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