>   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 Research lab in Artificial Intelligence for Systems Engineering at Sapienza University.


A selected list of my publications.


A selected list of research projects I'm involved in.

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