Profilo completo
Marino MICULAN
- DMIF Dipartimento di scienze matematiche, informatiche e fisiche
- Professore Associato
- INFO-01/A Informatica
Curriculum Vitae
Pubblicazioni
Incarichi istituzionali
- Direttore Vicario - Direttore Vicario Dipartimento di scienze matematiche, informatiche e fisiche (scadenza: 30-09-2027)
Attività di ricerca
Attualmente M. Miculan si interessa a problematiche di sicurezza informatica, in particolare relative ai sistemi concorrenti, comunicanti e componibili, in cui il comportamento del sistema complessivo viene determinato dall'interazione tra molte entità eterogenee. A questo scopo, M. Miculan sta applicando metodi formali, eventualmente integrando anche metodi dal Machine Learning, per definire nuove metodologie e tecniche, basate su solidi modelli semantici, per la formalizzazione, verifica e certificazione dele proprietà di sicurezza dei sistemi. Queste verifiche possono essere implementate staticamente, puntando ad eliminare le maggiori vulnerabilità by-design, o dinamicamente, mediando la sintesi di opportuni meccanismi di monitoraggio run-time.
Gruppi di ricerca
- Coordinatore del gruppo: Sicurezza informatica
- Coordinatore del gruppo: Modelli e Applicazioni dei Sistemi Distribuiti
- Componente del gruppo: Linguaggi di programmazione
- Componente del gruppo: Metodi Formali e Applicazioni
- Componente del gruppo: TRUTHSTER