Centro per la Ricerca Scientifica e Tecnologica Automated Reasoning Systems
ITC-irst conducts studies in two main areas:
information technology and materials and microsystems.
The Automated Reasoning System (SRA) Division is centered around two main objectives: top quality scientific research and innovative
The core research areas in the division are:
software engineering, web services and distributed business processes, knowledge representation and reasoning, formal verification,