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