Surname:
Course Title:
Edition (year):
Credits:
Hours:
Instructors:
Type of Course:


Study Plan and Exam/Attendance Registration

Surname: Clerissi
Email:
Course Title: Automated Software Testing
Edition:
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Paolo Tonella, Filippo Ricca, Mariano Ceccato and Roberto Tiella
Hours: 30
Credits: 6
Exam:
Type of Exam:
Link to certificate: Certificate

Surname: Clerissi
Email:
Course Title: Semantic Web
Edition:
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Barbara Catania, Giovanna Guerrini, Viviana Mascardi
Hours: 20
Credits: 6
Exam:
Type of Exam:
Link to certificate: Certificate

Surname: Clerissi
Email:
Course Title: Scientific Writing
Edition:
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Leila De Floriani
Hours: 2
Credits: 2
Exam: Attendance + Exam
Type of Exam:
Link to certificate:

Surname: Clerissi
Email:
Course Title: MOVEP 12th Summer School
Edition:
Course Type: Other
Instructors: Andreas Podelski, Nathaline Bertrand, Tony Kucera, Parosh Abdulla, Paolo Tonella, Philippe Schnoebelen, David Monniaux, Angelo Montanari, Jean-Marc Talbot
Hours: 18
Credits: 2
Exam: Attendance only
Type of Exam:
Link to certificate:

Surname: Vuotto
Email: simone.vuotto@edu.unige.it
Course Title: Requirements Engineering in agile, data-driven development contexts, and not only
Edition: 2018
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Angelo Susi (FBK), Anna Perini (FBK), Filippo Ricca (DIBRIS), Paolo Tonella (FBK)
Hours: 30
Credits: 6
Exam: Attendance + Exam
Type of Exam:
Link to certificate: Certificate

Surname: Clerissi
Email:
Course Title: Mobile Security
Edition:
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Gabriele Costa, Luca Verderame
Hours: 20
Credits: 2
Exam: Attendance only
Type of Exam:
Link to certificate:

Surname: Vuotto
Email:
Course Title: Verification, Model Checking and Abstract Interpretation
Edition:
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Giorgio Delzanno
Hours: 18
Credits: 6
Exam:
Type of Exam:
Link to certificate:

Surname: Vuotto
Email: simone.vuotto@edu.unige.it
Course Title: Languages and Solving Techniques for Knowledge Representation and Reasoning
Edition: 2018
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Carmine Dodaro (DIBRIS)
Hours: 20
Credits: 6
Exam:
Type of Exam:
Link to certificate: Certificate

Surname: Valenza
Email:
Course Title: Reverse engineering and exploitation of x86/64 binary programs
Edition:
Course Type: DIBRIS/UNIGE PhD Course
Instructors: Giovanni Lagorio
Hours: 16
Credits: 6
Exam:
Type of Exam:
Link to certificate:

Surname: Dashti
Email: Sdashti@fbk.eu
Course Title: Introduction to SAT and SMT
Edition: 2017
Course Type: PhD Course of other Institutes
Instructors: Roberto Sebastiani
Hours: 20
Credits: 6
Exam: Attendance + Exam
Type of Exam: Assignments
Link to certificate: Certificate