Computer Science
Roberto ALFIERI
The main research activity is the study of new hardware and software technologies for high performance
computing and the design and development of distributed and parallel scientific applications on HPC systems.
IRIS
Roberto BAGNARA
- Verification of critical software
- Formal methods for the analysis and verification of programs
- Semantics of programming languages
- Abstract interpretation
- Advanced compilation techniques
- Logic programming and constraint logic programming
- Computer algebra
IRIS
Federico BERGENTI
1. Software agents, multi-agent systems and Agent-Oriented Software Engineering.
2. Constraint programming and (logic) programming languages.
3. Computer-Supported Cooperative Work systems.
4. Multimedia-centric systems and optimal management of resources with quality of service.
5. Aspect-Oriented Programming and Object-Oriented programming.
6. Pattern recognition and Machine Vision.
IRIS
Alessandro DAL PALÙ
- Programming methodologies to solve complex problems: Constraint (Logic) Programming, Answer Set Programming.
- Bioinformatics (Protein structure prediction, Protein Flexibility).
- Analysis of multi-dimensional medical images.
- Parallel computing (traditional and GPGPU).
- Numerical simulation with CUDA architecture.
- Computational complexity and data structure optimization.
IRIS
Enea ZAFFANELLA
Formal methods for the analysis and verification of programs
Abstract Interpretation: domains and abstract operators
Semantics of programming languages
(Constraint) Logic Programming
IRIS