I laboratori della Sezione di Informatica sono centri di attività in cui i docenti, i ricercatori, le industrie, gli studenti di dottorato e gli studenti dei corsi di laurea e laurea magistrale possono incontrarsi per produrre ricerca e innovazione. All'interno dei laboratori sono attivi progetti di ricerca, collaborazioni con le industrie, tesi di dottorato, tesi di laurea magistrale, tesi di laurea e sviluppo di software.
Una descrizione breve delle attività di ogni laboratorio si trova nel seguito, per informazioni più dettagliate si faccia riferimento al sito del laboratorio.
Una panoramica più generale della ricerca all'interno della Sezione di Informatica è disponibile a questo link.
PROS Lab: PROcesses and Services
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.
English version: 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.
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.
English version: 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.
Software for Systems and Industries (SSI) Lab
English version: 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.
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.
English version: 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.
Quantitative Analysis of Systems Lab
English version: Research activities of QuasyLab are focussed on development of methodologies, tools and techniques for the quantitative analysis of systems.