Contact Teaching Publications Research Home

Research Projects

ASMETA: metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE)

3D4AMB: aims at developing a system based on the 3D for the diagnosis and treatment of amblyopia in young children

SE4Med: aims at developing software for health monitoring

QUASMED: analyse different factors to guarantee the good quality of software
Medical software certification: compliance with international standards

Machine learning algorithms: quality assurance

MVM (Mechanical Ventilator Milano) is a ventilator developed because of the COVID-19 pandemic