Profilo completo

Foto contatto

Marino MICULAN

DMIF Dipartimento di scienze matematiche, informatiche e fisiche
Professore Associato
INF/01 Informatica
  • DMIF Dipartimento di scienze matematiche, informatiche e fisiche
  • Professore Associato
  • INF/01 Informatica

Pubblicazioni

Attività di ricerca

  • <p>La sua attuale ricerca riguarda principalmente modelli semantici, metodi formali e strumenti per la progettazione e l'analisi di sistemi concorrenti e distribuiti, in particolare per scoprire vulnerabilità e garantire proprietà di sicurezza.</p>

Gruppi di ricerca

Web