Prof. Marino Miculan
Telefono +39 0432 558486
Stanza: SN 06
Sito web personale: http://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.
Attivita' 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
Trasferimento dell'innovazione
Member of the Scientific Committee of TechnoseedUnit director of the CINI consortium
