DIBRIS
Corsi di Studio
Bioingegneria
Ingegneria Informatica
Robotics Engineering
Informatica
Digital Humanities
Corsi di Dottorato
Computer Science and Systems Engineering
Bioengineering and Robotics
AulaWeb
UniGe
Skip to content
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)
:
per gli studenti di Fondamenti vedi modulo AW
other students should send an e-mail to arrange an online meeting (include your Name and Surname and the name of the course),
by default I will schedule meetings on Mon at 14.00-15.00 using
MS Teams
(which is included in
Office365
)
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
)
2020-21 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
Local stuff
Missioni
Office 365
Bit Bucket
SAGE Lab
Sito Web DISI
Calendario DISI
list server CSITA
(
configurazione parametri
,
altra configurazione parametri
)
intranet DISI
CD CSITA
MOODLE:
istanza per test referenti
,
palestra2