Brief CV of Eugenio Moggi

Contact information

 Prof. Eugenio Moggi     tel.:  +39-010-353 6628
 DIBRIS, Univ. di Genova fax:   +39-010-353 6699
 via Dodecaneso 35       email: moggi@unige.it
 16146 Genova, Italy     www:   person.dibris.unige.it/moggi-eugenio/

Personal Data

date and place of birth: 29 Aug 1960, Florence, Italy
nationality: Italian
status: single

Academic qualifications

Nov 1988 PhD in Computer Science, Univ. of Edinburgh, Thesis on The Partial Lambda-Calculus (supervisor Prof. Gordon Plotkin)
Oct 1983 Laurea (MSc) in Computer Science, 110/110 cum laude, Univ. di Pisa, Thesis on Categorie Cartesianamente Chiuse per la Calcolabilita' nei Tipi (relatore Prof. Giuseppe Longo)
Oct 1983 Diploma, Scuola Normale Superiore di Pisa

Academic career

1990- Professor (Professore Ordinario) in Computer Science (INF/01), Univ. di Genova
1989-91 Lecturer in Computer Science Univ. of Edinburgh
1990 Research Associate (project Categorical Logic in Computer Science) at the Computer Laboratory, Univ. of Cambridge
1988-89 Research Associate (Ricercatore) in Computer Science (INF/01), Univ. di Pisa
1987-89 Research Associate (project Computer Assisted Reasoning: Interactive Proof Editor) at the LFCS, Univ. of Edinburgh

Temporary positions

Mar-Jun 2018 Visiting Professor at Halmstad Univ, Sweden
Mar-Sep 2015 Visiting Professor at Halmstad Univ, Sweden
May 1990 Visitor at Ecole Normal Superieure, Paris
Apr-Jun 1989 Visiting Professor, CS Dept., Stanford Univ.
Jun-Jul 1986 Consultant at AT&T Bell Labs, New Jersey
Jan-Sep 1984 Consultant for Progetto Finalizzato Informatica, obbiettivo CNET, Dip. di Informatica, Univ. di Pisa

Research interests

type systems and lambda-calculus, category theory and its applications, semantics of programming languages, formal systems for reasoning about programs, semantics and analysys of hybrid systems.

Main research contributions

the study of formal systems for partial functions, the categorical semantics of polymorphic types and program modules, the structuring of denotational semantics using monads, type systems and operational semantics for multi-stage programming languages and meta-programming.

Research projects

EU projects

Marie Curie Actions-People IRSES-612638 CORCON "Correctness by Construction" (start, Jan 2014, duration 48 months)
Thematic network IST-2001-38957 APPSEM-II "APPlied SEMantics II" (start Jan 2003, duration: 36 months)
EC project IST-2001-33477 DART "Dynamic Assembly, Reconfiguration and Type-checking" (start Jan 2002, duration: 40 months) coordinator
ESPRIT WG APPSEM "APPlied SEMantics" (start Apr 1998, duration: 48 months)
ESPRIT BRA project n. 6811 CLICS-II "Categorical Logic in Computer Science II" (start Oct 1992, duration 40 months)
EC SCIENCE Twinning Programming Language Semantics and Program Logics (start Sep 1992, duration 45 months)

National projects

PRIN 2010-11 (start: Feb 2013, duration: 36 months): Metodi logici per il trattamento dell'informazione
PRIN 2008 (start: Mar 2010, duration: 24 months): Coerenza e metodi costruttivi in Topologia, Logica e Algebra. Applicazioni
PRIN 2002 (start: Dec 2002, duration: 24 months): Coerenza e metodi costruttivi in Topologia, Logica e Algebra. Applicazioni
FIRB (start: Nov 2002, duration: 48 months): Wide-scalE, Broadband, Middleware for Network Distributed Services (Web-Minds)
PRIN 2001 (start: Dec 2001, duration: 24 months): Network Aware Programming: Oggetti, Linguaggi, Implementazioni (NAPOLI)
PRIN 2000 (start: Dec 2000, duration: 24 months): Coerenza e metodi costruttivi in Topologia, Logica e Algebra. Applicazioni
PRIN 1999 (start: Nov 1999, duration: 24 months): Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA)
PRIN 1997 (start: Feb 1998, duration: 24 months): Sistemi formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software
PRIN 1996 (start: May 1996, duration 12 months): Logica matematica e applicazioni
PRIN 1995 (start: May 1994, duration 12 months): Logica matematica e applicazioni
PRIN 1994 (start: May 1993, duration 12 months): Logica matematica e applicazioni

Membership

Editorial board of Journal of Functional Programming (from 2001 to 2011)
Editorial board of Mathematical Structures in Computer Science (from 1997)
Editorial board of Electronic Notes in Theoretical Computer Science (from 1995)
IFIP WG 2.11 (from 2003 to 2011)
Association for Computer Machinery - ACM (since 1997)
European Association for Theoretical Computer Science - EATCS (since 1990)

Research supervision

Main supervisor for the following PhD students at Univ. di Genova: G. Belle', C. Calcagno.
2nd supervisor for the following PhD students at Univ. of Edinburgh: A. Knobel, S. Ambler, Z. Luo, P. Cenciarelli.

Services

2011-2014 Member of Consiglio Direttivo CSITA, Univ. di Genova
2011-2013 Coordinator of BSc and MSc in Computer Science (Consiglio dei Corsi di Studio in Informatica), Univ. di Genova
1993-2008 Coordinator of the PhD programme in Computer Science (Dottorato in Informatica), Univ. di Genova
2005-2009 Member of the EATCS Council
2003-2005 and 2010-2011 President of the Italian Chapter of EATCS
2001-2007 President of Coordinamento Nazionale dei Dottorati in Informatica

Invited speaker, PC or OC member of Conferences/Workshops/Schools

Information is available on Eugenio Moggi web page.

Publications

Information is available on the web page Publications, see also DBLP Database and Google Scholar.

Teaching activity (in Italian)

Information for the current academic year is available on Eugenio Moggi web page, while for past academic years is available from the web page teaching activity.