Institute of information science and technologies "Alessandro Faedo" (ISTI)

Research activities

RESEARCH ACTIVITY
Research and development activities of the Institute are organized into six thematic areas:

o Networking (ref. Paolo Barsocchi),
o Software (ref. Maurice ter Beek),
o Knowledge (ref. Donatella Castelli),
o High Performance Computing (ref. Raffaele Perego),
o Visual (ref. Paolo Cignoni),
o Flight and Structural Mechanics (ref. Cristina Padovani).

Thematic areas consist of 13 laboratories.

Research Laboratories pursue a well-defined set of strongly related scientific objectives. In addition to research, objectives may also cover technology development and training. The teams include permanent staff, visitors, post-doctoral fellows and doctoral students, with an average number of 10 members per Lab. The Research Laboratories are largely independent and their results are subject to periodical evaluation.

The laboratories are grouped into the thematic areas as follows:

Networking
o Wireless networks (Head Paolo Barsocchi)

Knowledge
o Human Interfaces in Information Systems (Head Fabio Paternò)
o The Knowledge Discovery and Data Mining (Head Fosca Giannotti)
o Infrastructures for Science (Head Donatella castelli)
o Artificial Intelligence for Media and Humanities (Head Giuseppe Amato)

Software
o Software Engineering and Dependable Computing (Head Felicita Di Giandomenico)
o Formal Methods and Tools(Head Maurice ter Beek)
o System and Software Evaluation (Head Giuseppe Lami)

High Performance Computing
o High Performance Computing (Head Raffaele Perego)

Visual
o Signals and Images (Head Davide Moroni)
o Visual Computing (Head Paolo Cignoni)

Flight and Structural Mechanics
o Mechanics of Materials and Structures (Head Cristina Padovani)
o Space Flight Dynamics (Head Luciano Anselmo)

In the following, the keywords for each thematic area. Please, visit the web site (http://www.isti.cnr.it) for more details.

Networking:
o Activity Recognition
o Ambient Assisted Living (AAL)
o Ambient Intelligence, Smart Spaces and Green Buildings
o Architectures, Protocols, and Technologies for Pervasive Communications
o Cyber-physical Systems of Systems
o Communication Middleware for Context-awareness
o Domotics and Home Automation
o Indoor Localization
o Mobile Social Computing
o Opportunistic Networking and Sensing
o Positioning and Tracking Technologies
o Smart Devices and Smart Spaces
o Social Models for Pervasive Systems
o Software Defined Networks
o Wireless Communications and Multimedia


Software:

o Analysis of Resilience and Energy Consumption in Critical Infrastructures
o Analysis, Testing and Monitoring of Dynamic Systems
o Cobot Protocol Validation
o Dependability Assessment and Fault-tolerant Solutions
o Empirical Software Engineering
o Formal Approaches to Medical Image Analysis
o Formal Approaches to Software Product Line Engineering
o Formal Modelling and Verification of Service-Oriented Systems
o Formal Modelling and Verification of Spatially Distributed Systems
o Functional Safety of automotive software-based systems
o Human Factors in Software Engineering
o Model-based E-Learning Systems
o Modeling and analysis of Railway Control Systems
o Quantitative Formal Methods for Collective Adaptive Systems
o Models and Methods for Software Product Evaluation and Measurement
o Requirements Engineering
o Scalable Testing
o Software Certification
o Software Process Assessment and Improvement in Automotive
o Testing for Security and Privacy
o Testing of Systems-of-Systems
o Verification Tools and Techniques



Knowledge:

o Accessibility and Assistive Technology
o Artificial Intelligence and Deep Learning
o Big Data Analytics, Platforms, Applications
o Digital Libraries: Foundations and Systems
o Digital Restoration of Ancient Documents
o End User Development
o Ethics-sensitive and Privacy-aware Data Mining
o Explainable AI
o Face Recognition and Verification
o Human-Robot Interaction
o Intelligent Information Systems
o Mobility and Network Analytics
o Multimedia Content Understanding and Information Retrieval
o Open Science & FAIR Data Management
o Personalization of IoT Ecosystems
o Research Data Infrastructures, Virtual Research Environments
o Scholarly Communication Models, Methods and Tools
o Scientific Data Integration and Management
o Semantic Web: Reasoning, Learning and Uncertainty
o Social Sensing & Analytics
o Text Mining, Classification, NLP & Transfer Learning
o User Interfaces: Context-dependent, Emotion-based, Multimodal


High Performance Computing:

o AI and Data Mining for Ranking, Prediction, Recommendation
o Information Systems for Big Data: Indexing, Compression, Efficiency and Responsiveness
o Scalable Distributed Computing for Big Data Processing and Analysis
o Data-driven Analytics in Distributed Edge-Cloud Systems
o Cloud Computing, Cloud Federations, and Cloud Resource Management
o Mobility Data Analysis and Semantic Enrichment
o Knowledge Bases and Entity Linking
o Social Media Analysis


Visual:

o 3D Acquisition of Shape and Appearance
o Remote Sensing and Earth Observation
o Real Time Imaging and Embedded Systems
o Image Processing and Computer Vision
o Medical Imaging
o Artificial Intelligence & Intelligent Vision Systems
o Geometry Processing and 3D Shape Analysis
o Architectural Geometry
o Interactive 3D Graphics
o Topological Data Analysis
o Scientific and Large Data Visualization
o Web-based Visualization and Mobile Platforms
o Virtual and Augmented Reality
o Computational Biology and Physiology
o Computational Fabrication
o Visual Computing for Cultural Heritage
o Assistive Technologies and Smart Living Environments


Flight and Structural Mechanics:

o Computational Solid Mechanics
o Dynamic Identification
o Mechanics of Masonry Structures
o Model Updating
o Orbital Analysis
o Satellite Re-Entry Predictions
o Space Debris
o Structural Health Monitoring


CNR DEPARTMENTS, PROJECTS, COMMITTED TASKS

Although ISTI maintains its organization in laboratories and centers, the research activities have been partially rearranged, according to the lines of the CNR's Departments.

ISTI takes part to the following CNR departmental projects (2014):

Engineering, ICT and Technologies for Energy and Transport Department
- Devices and Technologies for Telematics Networks project
- Data Mining, Ontologies and Semantic Web project
- GRID and High Performance Computing project
- Multimodal and Multidimensional Content and Media project
- Modelling and Simulation of Complex Systems project
Interdepartmental Projects - Lead by Engineering, ICT and Technologies for Energy and Transport Dept.
- Security project
- Bioinformatics
Humanities, Social Sciences and Cultural Heritage Department
- Exploitation and valorization of cultural heritage
Physical Sciences and Technologies of Matter Department
- Biophysics and soft matter project
Medicine
- Flagship Project "Interomics"

In addition to research activities, ISTI is engaged in training young researchers, in steering the research in national and international settings, and in evaluation activity of others' research projects. In order to help the development of its young researchers ISTI has established two special awards:
- Young Researcher Award "Matteo Dellepiane" (YRA) - for researchers with high scientific production (36 age limit);
- Young Open Science Award (YOSA) - selection of best open software/datasets produced by young researchers at ISTI;
- Grants for Young Mobility - travel and accommodation grant to carry out research in cooperation with foreign Universities and Research Institutions of clear international standing (33 age limit);
- Grants for ProgettISTI - for the presentation of short cross-lab project proposals (34 age limit).