Marino Miculan

Professore associato
Email: marino.miculan@uniud.it
Stanza: SN6
Telefono: +39 0432 558486

Sito personale: www.dimi.uniud.it/miculan

Breve curriculum

Laurea in Computer Science at the University of Udine (1992); PhD in Computer Science at the University of Pisa (1997). Research engineer at the INFN, Trieste, from 1997 to 2000. Researcher in Computer Science at the University of Udine from 2000 to 2005. Associate professor of Computer Science at the University of Udine from January 2005. Deputy head of the Department of Mathematics and Computer Science from May 2005 to Apr 2008.

Attività di ricerca

Formal methods, proof assistants, type theory, categorical logics and semantics of programs and processes, systems biology.

Progetti di ricerca

Current projects I am involved in: SISTER (PRIN 20088HXMYN) Past projects: ART (PRIN 2005015824), TYPES (IST-CA-510996). DART (IST-2001-33477), "Levi" (40% 1997), TOSCA (COFIN99), COMETA (COFIN01), TYPES (ESPRIT BRA 6453), TYPES (ESPRIT WG 21900), TYPES (IST WG 29001) Erdős number ≤ 4

Attività di trasferimento dell'innovazione

Member of the Scientific Committee of Technoseed Unit director of the CINI consortium

Aree di ricerca della matematica

  • Teoria delle categorie

Aree di ricerca dell'informatica

  • Fondamenti dell'informatica
  • Linguaggi di programmazione
  • Logiche, algoritmi e automi
  • Metodi formali e applicazioni