>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]
Avvisi
23/4/202425 aprile: l'Italia ricorda la liberazione dall'occupazione nazista e dal regime fascista, simboleggiata dall'insurrezione del 25 aprile 1945 proclamata dai Partigiani. [Ultime lettere di condannati a morte e di deportati della Resistenza italiana] [Costituzione della Repubblica].

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]