| Eugenio Moggi, Professor in Computer Science | ||
|
DIBRIS,
Univ. di Genova
via Dodecaneso 35, 16146 Genova, Italy Fax: +39-010-3536699 |
Room: 228, 2nd floor
moggi "at" unige.it Tel.: +39-010-3536628 (Cell.Phone: 370-1021309) |
-
RESEARCH
- Publications, Meetings, Projects (CINI), Short CV
- Member of the advisory board of: Proofs and Programs ( editorial policy)
-
DIDATTICA/TEACHING
- ORARIO RICEVIMENTO (AVAILABLE TO STUDENTS):
- 2020-21 1o sem Topics (and Advanced Topics) in Computer Science (cod. 90728 and 90543 - elective courses of 6 CFU for MSc in Computer Science)
- 2020-21 1o sem Abilita' Informatiche (cod. 84031 - insegnamento da 3 CFU per Scienze Ambientali e Naturali)
- 2020-21 1o sem Informatica (cod. 57279 - insegnamento da 4 CFU per Scienze Biologiche)
- 2019-20 2o sem
Fondamenti di Informatica (cod. 97164 - insegnamento da 9 CFU per Ingegneria Gestionale)
- Elementi di Informatica (cod 52674 - insegnamento disattivato da 3 CFU per Scienze Ambientali)
- Elementi di Informatica (cod. 42944 - insegnamento disattivato da 6 CFU per Scienze Ambientali)
- ALTRA ATTIVITA' DIDATTICA fatta in ANNI PRECEDENTI
- CONFERENCES, WORKSHOPS, SCHOOLS
- GDP70 (IS) @ Logic Colloquium 2016, DCPS 2016 (IS) @ CPS week,
- CorCon2014 (OC),
- FMCS 2013 (IS), ICTCS 2013 (PC),
- CSL'11 (PC), EWCE'11 (IS),
- CT2010 (OC), LICS'10 (PC), ICTCS'10 (OC)
- ESOP'09 (PC), LICS'09 (PC)
- AILA'08 (OC), FOSSACS'08 (PC), PPDP'08 (PC), IFIPTCS'08 (PC)
- MFPS'07 (PC), Longo 60 Fest (IS), ICALP'07 (PC), Scuola AILA, ICTCS'07 (PC)
- Plotkin 60 Fest (IS), ML'06 (PC), MFPS'06 (IS), ESOP'06 (PC), CATS'06 (PC),
- FGC (Dagstuhl), TGC'05 (PC), APPSEM'05 (PC), GPCE'05 (GC),
- FMCO'04 (IS), APPSEM-II (PC), ICALP'04 (PC), PPDP'04 (GC), CSL'04 (PC)
- FOSSACS'03 (PC), LICS'03 (PC), FGC'03 (PC), GPCE'03 (PC)
- WCGC'02 (PC), TIP'02 (PC), IMLA'02 (PC)
- ETAPS'01 (OC), TOSCA'01 (OC), ICALP'01 (PC), SAIG'01 (PC), ICTCS'01 (PC),
- TOSCA'00 (OC), APPSEM School (SC and lecturer), ICFP'00 (PC), MPC'00 (PC), DTP'00 (invited),
- PPDP99 (PC), FLoC'99 (OC), IMLA FLoC'99 WS (PC),
- APPSEM'98 (OC), PLILP'98 (PC), LICS'98 (PC), FMCS'98 (invited)
- CTCS'97 (OC and PC chair), New Trends in Semantics ICALP'97 WS (OC), FUN'97 (OC),
- Scuola Nazionale Dottorati Informatica '96 (OC)
-
ORGANIZATION
- Member of EATCS Italian Chapter