ITC - irst

 

Centro per la Ricerca Scientifica e Tecnologica Automated Reasoning Systems Division
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 social/market impact.

The core research areas in the division are:

software engineering, web services and distributed business processes, knowledge representation and reasoning, formal verification, automated learning.

Mission

International excellence in teaching and reseach

Strong international dimension

Interaction with industry and market

Research

The research is focused on four main areas:

Advanced Software Engineering

Middleware and Service-Oriented architecture

Data Base management

Conceptual Modeling

Education

The education model is based on courses about:

Software Enginnering

Software Development Process

Database