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. Erina Ferro),
o Software (ref. Stefania Gnesi),
o Knowledge (ref. Fausto Rabitti),
o High Performance Computing (ref. Raffaele Perego),
o Visual (ref. Roberto Scopigno),
o Flight and Structural Mechanics (ref. Cristina Padovani).

Thematic areas consist of 12 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 Erina Ferro)

Knowledge
o Human Interfaces in Information Systems (Head Fabio Paternò)
o The Knowledge Discovery and Data Mining (Head Fosca Giannotti)
o Networked Multimedia Information Systems (Head Fausto Rabitti)

Software
o Software Engineering and Dependable Computing (Head Felicita Di Giandomenico)
o Formal Methods and Tools(Head Stefania Gnesi)
o System and Software Evaluation (Head Fabrizio Fabbrini)

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


Visual
o Signals and Images (Head Ovidio Salvetti)
o Visual Computing (Head Roberto Scopigno)


Flight and Structural Mechanics
o Mechanics of Materials and Structures (Head Cristina Padovani)
o Space Flight Dynamics (Head Andrea Cardillo)

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

Networking:

o Ambient Intelligence and Smart Spaces
o Domotics and Home Automation
o E-Government, E-Democracy
o DNS-based Authentication of Named Entities
o Domain-based Message Authentication, Reporting and Conformance
o Certified Electronic Mail
o Wireless Communications
o Middleware for Context Information Acquisition
o Wireless Sensor Networks
o Context Awareness
o e-health
o ICT technologies
o Web applications
o Digital Signatures and Cryptography application
o Common Authentication Technology Next Generation
o Activity Recognition


Software:

o Advances in Formal Modeling and Applications
o Formal Approaches to Product Family Engineering
o Formal Approaches to Requirements Engineering
o Verification Tools and Techniques
o Formal Modelling and Verification of Collective Adaptive Systems
o Formal Modelling and Verification of Service-Oriented Systems
o Algorithmic Network Models of Spacetime
o Analysis of Interdependencies in Critical Infrastructures
o Dependability Assessment and Fault-tolerant Solutions
o Analysis, Testing, and Monitoring of Dynamic Systems
o Testing for Software Quality and Security
o Model-based E-learnings Sytems
o Models and Methods for Software Product Evaluation
o Software Product Measurement
o Software Process Assessment and Improvement
o Software Certification


Knowledge:

o Ethics-sensitive and Privacy-aware Data Mining
o Visual Analytics
o End User Development
o Context-dependent User Interfaces
o Tools for Accessibility and Usability Evaluation
o Assistive Technologies and Accessibility
o Multimodal User Interfaces
o Emotion-based User Interfaces
o Digital Libraries: Foundations and Systems
o Data Integration and Processing for eScience
o Scholarly Communication Models, Methods and Tools
o Research Data Infrastructures, E-Infrastructures, and Virtual Research Environments
o Platforms for Cyber-physical Systems
o Content-based Visual Information Retrieval
o Semantic Web: Reasoning, Learning and Uncertainty
o Automatic Text Classification
o Natural Language Processing and Text Mining
o Machine Learning
o Scientific Database Management
o Data Mining Algorithms and Statistical Methods
o Big Data Analytics & Social Mining
o Mobility Data Mining
o Social Network Analysis
o Social Sensing & Semantic Enrichment of Big Data
o Analytical Platforms & Data infrastructures for Social Mining
o Model-based User Interface Design


Visual and High Performance Computing:

o Information Systems for Big Data: Indexing, Compression, Responsiveness
o Scalable Distributed Computing with Map-Reduce, Giraph, Spark
o Data Mining and Machine Learning for Ranking, Prediction, Recommendation
o Cloud Computing, Cloud Federations, and Cloud Resource Management
o Knowledge Bases and Entity Linking
o Social Media Analysis
o Computational Biology
o Computational Intelligence in Computer Vision
o Computational Topology and Geometry for Vision
o Statistical Signal Processing
o Real Time Imaging and Embedded Systems
o Interactive 3D Graphics
o 3D Digitization
o 3D Printing Technologies
o Reconstruction from Sampled Dataset
o Scientific Visualization
o Web-based Visualization and Mobile Platforms
o Applications to Cultural Heritage
o Nature inspired computation for Smart Sensors
o Document Image Analysis and Restoration
o Assistive technologies and systems integration
o Hybrid intelligent methods
o Shape Analysis and Description


Flight and Structural Mechanics:

o Computational Solid Mechanics
o Mechanics of Masonry Structures
o Stratospheric Balloons Mission Analysis and Operations
o Astrodynamics and Space Experiments on Fundamental Physics
o Satellite Re-Entry Predictions
o Space Debris
o Space Mission Analysis, Design and Operational Support

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 - for researchers with high scientific production (36 age limit);
-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).