First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
COMPUTER SCIENCE
Course unit
ADVANCED TOPICS IN COMPUTER SCIENCE
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
COMPUTER SCIENCE
SC1176, Degree course structure A.Y. 2014/15, A.Y. 2019/20
N0
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 http://informatica.scienze.unipd.it/2019/laurea_magistrale
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction English
Branch PADOVA
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

Lecturers
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
Hours of
Individual study
Shifts
Lecture 6.0 40 110.0 No turn

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

Syllabus
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
http://www.cs.ox.ac.uk/people/alessandro.abate/home.html

- "Analysis of Memory Models"
Prof. Roland Meyer, University of Braunschweig
https://www.tcs.cs.tu-bs.de/group/meyer/home.html

- "Business Process Management & Analytics"
Hajo Reijers, Utrecht University
https://www.win.tue.nl/~hreijers
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)