Mathematics and Computer Sciences

The Mathematics research unit is made up of 7 researchers from different scientific-disciplinary sectors (MAT / 04, MAT / 05, MAT / 09). The result is a natural diversification of the lines of research, which range from the theoretical aspects of mathematical analysis to applied research in the field of game theory. The research lines that will be developed can be summarised as follows:

Languages ​​and technologies in mathematics education and teacher training

Develop ongoing studies on the use of platforms in mathematics education, with particular reference to languages ​​and communication; create and evaluate a prototype of an introductory mathematics course for the zeroing and recovery of basic mathematical skills of freshers in the scientific area degree courses; implement training models at the service of teachers in the Eastern Piedmont area, through shared research activities and with the help of a platform to communicate and share materials and experiences.

Contact persons: Pier Luigi Ferrari, Francesca Martignone, Chiara Andrà

Stationary and evolutionary problems with elliptic operators of the second and higher orders

Evolutionary higher order problems and applications to models for suspension bridges; linear elasticity theory and formulation of models for anisotropic plates; Almgren-type monotony formulas and applications to the study of the asymptotic properties of solutions of partial differential equations of integer or fractional order; regularity and dependence properties for the eigenvalues of elliptic operators, both on parameters and on the domain; spectral stability for second and fourth order Steklov problems with respect to domain perturbations; shape optimization for eigenvalues of polyharmonic and correlated operators; asymptotic properties and inequalities for eigenvalues of elliptic operators.

Contact persons: Alberto Ferrero, Davide Buoso

The area belongs to the section of the department called the Computer Science Institute, and is made up of 6 full professors, 5 associate professors, 3 researchers and 1 post-doc researcher.

The main research areas that are developed are the following:

Artificial Intelligence and Intelligent Systems

Participants: BOTTRIGHI Alessio, GIORDANO Laura, LEONARDI Giorgio, MONTANI Stefania, PORTINALE Luigi, TERENZIANI Paolo, THESEIDER DUPRE' Daniele

The group deals with mechanisms of knowledge representation and reasoning, with a view to building intelligent and adaptive systems. The main issues addressed are the following: logical formalisms of knowledge representation and reasoning (application areas: diagnosis, planning, configuration, management of medical guidelines, agent-based computing); case-based reasoning (application areas: diagnosis, decision support, recommendation systems, business intelligence); uncertain and probabilistic reasoning (application areas: diagnosis, reliability, decision support); machine learning, data and process mining (application areas: decision support, pattern recognition, home automation, business intelligence).

Formal Models, Reliability and Performance Evaluation.

Participants: BOBBIO Andrea, CODETTA RAITERI Daniele, FRANCESCHINIS Giuliana

The group deals with the study of formalisms for the modeling and analysis of systems, with particular attention to models based on Petri nets and their variants, Fault Trees and their extensions, stochastic models (Markov Chains, Markov Decision Processes, etc ...).

The main application areas are: Reliability, formal system verification (Model Checking), Performance Evaluation, simulation.

Distributed Systems

Participants: ANGLANO Cosimo, CANONICO Massimo

The group deals with various issues related to distributed computing systems including: peer to peer (P2P) computing, cloud computing, grid computing, cluster computing. In particular, the group is interested in the development of middle-ware specifically for the above areas.

Computer Forensics

Participants: ANGLANO Cosimo

The group deals with the study of various issues relating to the new discipline of computer forensics, i.e. techniques and methodologies for the acquisition, storage, analysis and interpretation of data present on a computer in order to identify evidence aimed at solving computer crimes and / or disputes of various kinds. The group avails itself of the collaboration of the Postal and Telecommunications Police with which a framework agreement is in place at  University level.

Cyber Safety

Participants: EGIDI Lavinia

The group deals with issues relating to network security issues, with particular attention to the design of low-budget secure protocols and to the study of the relationships between privacy and anonymity issues, compared to those of security and traceability.

Formal Methods for the Description of the Semantics of Languages and Systems

Participants: GIANNINI Paola

The group deals with providing foundations and tools for the static analysis of programming languages for a wide spectrum of languages ranging from classic paradigms such as functional, imperative and object to the most recent dynamic and domain specific languages. Furthermore, the group deals with the development of methods for modelling the key aspects of systems with a high degree of competition such as biological systems that exhibit probabilistic and / or spatial distribution-dependent behaviour.

Compression and Indexing of Texts and Bioinformatics

Participants: MANZINI Giovanni

The group deals with algorithms and data structures for storing and efficiently querying large data collections. This research activity has two main application areas: Information retrieval for linguistic data, and bioinformatics in case the data are biological sequences.

For more information: Computer Science Institute.