First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
Course unit
SCP6076301, A.A. 2019/20

Information concerning the students who enrolled in A.Y. 2019/20

Information on the course unit
Degree course Second cycle degree in
SC1176, Degree course structure A.Y. 2014/15, A.Y. 2019/20
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination ADVANCED TOPICS IN COMPUTER SCIENCE
Website of the academic structure
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction English
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

No lecturer assigned to this course unit

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses INF/01 Computer Science 6.0

Course unit organization
Period Annual
Year 1st Year
Teaching method frontal

Type of hours Credits Teaching
Hours of
Individual study
Lecture 6.0 40 110.0 No turn

Start of activities 30/09/2019
End of activities 20/06/2020
Show course schedule 2019/20 Reg.2014 course timetable

Prerequisites: No prerequisites.
Target skills and knowledge: Ability of dealing with advanced topics in computer science, possibly involving research questions. Ability of productively consulting scientific literature.
Examination methods: The student will deepen some chosen theme. A discussion in the form of a seminar or the development of a related project will then be used to asses to what extent the student masters the subject.
Assessment criteria: The exam assesses the ability of the student of dealing with advanced topics in computer science, which require the study of scientific articles and specialised literature.
Course unit contents: The course consists of series of lectures, illustrating advanced topics in computer science with the support of international experts. More precisely, the themes will be the following:

- "Modern Automated Formal Verification"
Prof. Alessandro Abate, University of Oxford

- "Analysis of Memory Models"
Prof. Roland Meyer, University of Braunschweig

- "Business Process Management & Analytics"
Hajo Reijers, Utrecht University
Planned learning activities and teaching methods: Class lectures.
Additional notes about suggested reading: Papers and lecture notes provided by the instructor.
Textbooks (and optional supplementary readings)