Profilo completo

Foto contatto

Marino MICULAN

DMIF Dipartimento di scienze matematiche, informatiche e fisiche
Professore Associato
INFO-01/A Informatica
  • 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

Web

In base alla circolare d'Amministrazione n. 33/1998 si responsabilizzano le persone in indirizzo a verificare la correttezza dei dati inseriti e ad effettuare le dovute comunicazioni di variazione alla Direzione Risorse Umane e Affari generali (DARU) per assicurare il costante aggiornamento dei dati nel tempo, trasmettendo (esclusivamente per posta elettronica) l'esito delle verifiche effettuate agli indirizzi di seguito riportati:

In base alla circolare d'Amministrazione n. 33/1998 si responsabilizzano le persone in indirizzo a verificare la correttezza dei dati inseriti e ad effettuare le dovute comunicazioni di variazione alla Direzione Risorse Umane e Affari generali (DARU) per assicurare il costante aggiornamento dei dati nel tempo, trasmettendo (esclusivamente per posta elettronica) l'esito delle verifiche effettuate agli indirizzi di seguito riportati: