Al laboratorio di ricerca PROS (PROcesses & Services Lab) di cui la prof.ssa Barbara Re è componente afferiscono anche il prof. Flavio Corradini, il prof. Andrea Polini, il dott. Fabrizio Fornari, il dott. Lorenzo Rossi, cui si aggiungono giovani ricercatrici e ricercatori, dottorande e dottorandi. Il Lab svolge attività di ricerca negli ambiti dell'Ingegneria del Software e dei Metodi Formali applicati allo sviluppo di sistemi software complessi. In particolare, si occupa di modellazione, analisi e sviluppo di sistemi software process-aware applicando tecniche di process modelling e process mining.
In tali ambiti il gruppo ha maturato molte esperienze progettuali in contesti di ricerca internazionali con la partecipazione a progetti finanziati dalla commissione europea e a progetti di ricerca nazionali tra i temi trattati rilevanti sono “Methods and Tools for Trustworthy Smart Systems”, “Large-Scale IoT Systems” e “Cyber-Physical Systems under Uncertainty”.
Il gruppo di ricerca ha, inoltre, attive molte collaborazioni di ricerca e trasferimento tecnologico con aziende del settore ICT.
