Stefano Marrone
Professore Associato presso l'Università degli Studi della Campania Luigi Vanvitelli. Ricercatore nell'ambito dell'applicazione di metodi formali alla modellazione e all'analisi di sistemi critici attraverso approcci multiformali, compositivi e basati su modelli. Ingegnere del software con esperienza industriale in sistemi informatici distribuiti e critici: verifica e validazione del software e test (sia strutturali che funzionali). Ingegnere della sicurezza per sistemi di metropolitana senza conducente. Specializzazioni: Modellazione di sistemi critici complessi mediante metodi formali (Reti di Petri, Reti Bayesiane, Alberi delle Guasti, ...). Ingegneria basata su modelli. Test del software. Analisi RAMS dei sistemi critici.

SPIRITO ARTIGIANO

Un progetto della Fondazione Manlio e Maria Letizia Germozzi onlus

Privacy Preference Center