6 — Albero di navigazione del sito 2 — Salta al contenuto

Università  degli Studi di Udine

Dipartimento di Matematica e Informatica - Università  degli studi di Udine
A | A | A   
Tu sei qui: Portale → Members → Marina Lenisa

Prof. Marina Lenisa

email:
Telefono +39 0432 558417
Stanza: SN 11
 Sito web personale: http://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.

Attivita' 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).
Dipartimento di Matematica e Informatica
via delle Scienze 206 - 33100 UDINE
Tel +39-0432-558400 - Fax +39-0432-558499
email: info chiocciola dimi punto uniud punto it
pec: dimi@postacert.uniud.it