DESSERT Research Lab

AI & ML interests

The DESSERT Research Group at the Università degli Studi di Napoli Federico II conducts research in the design, the assessment, and the verification of dependable, secure, and realtime systems. Such systems often have requirements for dependability, security, and temporal behaviours. These requirements may contradict one another. By providing unified software engineering methodologies ant techniques to assess system response times, dependability, and security during the entire design process, the research group defines and applies new engineering principles to the design and the verification of critical systems.