Marina Lenisa

Professore associato
Email: marina.lenisa@uniud.it
Stanza: SN11
Telefono: +39 0432 558417

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

Breve curriculum

Laurea in Scienze dell'Informazione presso l'Università di Udine (1993). Dottorato in Informatica presso l'Universita' di Pisa (1998). Post-doc presso LFCS, School of Informatics, University of Edinburgh (1998-1999). Ricercatrice (INF01) presso l'Università di Udine dal 2000 al 2002. Dal novembre 2002 Professore Associato (INF01) presso la Facolta' di Scienze Matematiche Fisiche e Naturali dell'Universita' di Udine.

Attività di ricerca

Metodi Formali, Semantica dei Linguaggi di Programmazione, Semantiche Algebriche e Coalgebriche, Semantica dei Giochi e delle Interazioni, Logical Frameworks e Teorie dei Tipi.

Progetti di ricerca

Progetti attuali: ART (PRIN 2005015824), TYPES (IST-CA-510996). Progetti passati: DART (IST-2001-33477), "Levi" (40% 1997), TOSCA (COFIN99), PROTOCOLLO (COFIN 02), COMETA (COFIN01), TYPES (ESPRIT BRA 6453), TYPES (ESPRIT WG 21900), TYPES (IST WG 29001).

Aree di ricerca dell'informatica

  • Fondamenti dell'informatica
  • Metodi formali e applicazioni