>   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

The 25th RCRA workshop "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA 2018).
Oxford, UK, 13 July 2018.
Member of the Programme Committee.
ICTAI 2018 30th International Conference on Tools with Artificial Intelligence" (ICTAI 2018).
Volos, Greece, 5-7 November 2018.
CSP/SAT Track, 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]