Laboratories at the Computer Science Division are centres of activities in which teachers, researchers, phd candidates, industries and students can meet for producing research and innovation. Within Laboratories research projects, collaborations with industries, bachelor and master theses, development of tools and many other activities start and grow. Currently active Labs are:

A quick description of each Lab follows, for more information visit the Lab web site.

PROS Lab: PROcesses and Services

Research carried out within the PROS Lab deals with the development of languages and techniques for the modelling, analysis and development of process aware information systems and services oriented applications. Our goal is to push the use of formal methods as methodological and automatic tools for the development of high-quality software development. Our main areas of expertise are formal method and software engineering, with a wide range of applications domain such as smart manufacturing, smart government, smart health and smart city.

La ricerca all'interno del laboratorio PROS, mira allo sviluppo di linguaggi e tecniche per la modellazione, analisi e implementazione di sistemi process & service aware. Le principali aree di ricerca del laboratorio sono i metodi formali e l'ingegneria del sofware applicati a un vasto numero di domini come smart manufacturing, smart government, smart health e smart city.

Bioshape and Data Science Lab

Bioshape and Data Science Lab is a laboratory for exploring the power of Algebraic and Computational Topology within Formal Methods in Computer Science for Data-driven modelling of complex systems. The focus is on RNA folding, Protein interaction, Immune System learning process and structural and functional Brain pattern recognition. 

Il laboratorio Bioshape and Data Science si propone di esplorare il potere della Topologia Algebrica e Computazionale all'interno dell'area dei Metodi Formali in Computer Science per la modellizzazione di sistemi complessi data-driven. Il focus è sul folding di RNA, l'interazione tra Proteine, il processo di apprendimento del Sistema Immunitario e il riconoscimento di pattern strutturali e funzionali nel Cervello. 

Software for Systems and Industries (SSI) Lab

The Software for Systems and Industries Lab (SSI Lab) performs basic research in various aspects of the design, implementation, analysis, and evaluation of distributed systems. We conduct research with systems at all scales, from sensors devices to cloud computing data centers. We take an experimental system approach in building real systems to investigate new research ideas. Particular areas of interest include wireless sensor networks, networking, middleware and smart environment programming.

Smart Mobility Lab

Our mission is to implement computational models that make use of Machine Learning (ML) techniques in order to represent critical aspects of the Smart City, with more focus on urban mobility. This allows us to provide public and private stakeholders with scientifically-grounded software capable of supporting their work when it comes to make delicate decisions.

La nostra missione è quella di implementare modelli computazionali che utilizzano le tecniche di Machine Learning (ML) per rappresentare gli aspetti critici della Smart City, con particolare attenzione alla mobilità urbana. Questo ci consente di fornire agli stakeholder pubblici e privati tecniche e strumenti in grado di supportare il loro lavoro nel prendere decisioni riguardo la mobilità urbana.

Quantitative Analysis of Systems Lab

Under Construction.