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

Research

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

Affiliations

Member of the Research lab in Artificial Intelligence for Systems Engineering at Sapienza University.

Publications

A selected list of my publications.

Projects

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]