Eugenio Moggi Biography

• Ph.D. in Computer Science, University of Edinburgh 1988
• Laurea in Computer Science, Universita' di Pisa 1983
• Diploma, Scuola Normale Superiore di Pisa 1983

Academic career.

• Professor in Computer Science, Universita' di Genova (since Nov 1990)
• Lecturer in Computer Science University of Edinburgh (1989-91)
• Research Associate Computer Laboratory University of Cambridge (1990)
• Ricercatore Dipartimento di Informatica Universita' di Pisa (1988-89)
• Research Associate LFCS University of Edinburgh (1987-89)

Research interests: semantics of programming languages and program logics.

Main research contributions:

• categorical semantics of polymorphic types,
• the study of formal systems for partial functions,
• notions of computations as monads,
• metalanguages for computational monads and evaluation logic,
• categorical semantics of program modules.

• EC Thematic Network - Applied Semantics II
• IST FET GC project Dynamic Assembly, Reconfiguration and Type-checking
• MURST'01 Network Aware Programming: Oggetti, Linguaggi, Implementazioni
• MURST'99 Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi
• MURST'97 Sistemi formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software
• ESPRIT WG APPlied SEMantics
• ESPRIT BRA Categorical Logic in Computer Science II
• EC SCIENCE Programming Language Semantics and Program Logics
• UK SERC Computer Assisted Reasoning
• Stimulation Project Typed Lambda-Calculus
• ESPRIT BRA Categorical Logic in Computer Science
• UK SERC Logical and Semantical Frameworks

Member of Working Groups: IFIP WG 2.11

Invited speaker to: CTCS87, CT91, CTCS91, CSL92, North American Jumelage 93, CATS94, MASK95, FMCS98, DTP00, FMCO04, MFPS06, AILA07 school, Plotkin-60 Fest, Longo-60 Fest

PC member of: LICS92, CTCS93, MFCS93, CTCS95, CSL96, CATS97, CTCS97 (chair), PLILP98, LICS98, PPDP99, IMLA99, MPC00, ICFP00, ICALP01, SAIG01, ICTCS01, WCGP02, TIP02, IMLA02, FOSSACS03, LICS03, GPCE03, ICALP04, CSL04, ML06, ESOP06, CATS06, MFPS07, ICALP07, ICTCS07 (co-chair), FOSSACS08, PPDP08, IFIPTCS08

OC Member of: CTCS97 (chair), LICS99 (co-chair), ETAPS01, PPDP04 (general chair), GPCE05 (general chair), AILA08

Services: Coordinator PhD programme in Computer Science (1993-2009), President Italian Chapter of EATCS (2004-05, 2009-10), Member of EATCS council (2005-2009)