
RAISE
Research lab in Artificial Intelligence for Systems Engineering
Formerly MCLab, the Model Checking Lab
The Research lab in Artificial Intelligence for Systems Engineering (RAISE Lab, formerly MCLab) develops methods and software based on AI and digital twins for simulation-based verification, validation, and synthesis of mission- and safety-critical intelligent systems.
Our general-purpose software tools are employed in areas as diverse as aerospace, critical infrastructures, transportation, medicine and smart grids.
Our methods and software are continuously been exploited in research and industry projects at both National and International levels in areas as diverse as Digital, Industry and Space; Health; Climate, Energy and Mobility; Civil Security for Society; Food, Bioeconomy Natural Resources, Agriculture and Environment.
Research areas
AI for cyber-physical systems
AI for healthcare and in silico clinical trials
AI for smart grids
Latest projects
The RAISE Lab is continuously involved in research and industry projects at both National and International levels.
RAISE 









