Course development
On this page, you can track the course's development over time. Once the course analysis is published, data for each course offering is displayed, including the number of registered students, course results, and planned improvements for the next session. All course syllabuses and course memos are shown on the page Archive.
The information can help prospective, current, and former students with course selection, or to follow up on their own participation. Teachers, course coordinators, examiners, program directors, and others can use the page as a resource for course development.
2020
Doktorand ( Start date 24/08/2020, English ) , Autumn 2020-1 ( Start date 24/08/2020, English )
Changes planned for the next course offering
No information inserted
Coordinator
Dilian GurovExaminers
Dilian GurovStudents
12*Course syllabus
Course syllabus DD2452 ( Spring 2019 - )Course memo
No course memo addedNo course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2452: 21 Jun 2021Changes introduced for this course offering
The second lab assignment has been simplified and adapted better to the course goals.Course data has been registered manually
Examination grade
20%*
2019
form19 ( Start date 26/08/2019, English )
Changes planned for the next course offering
No information inserted
Coordinator
Dilian GurovExaminers
Dilian GurovStudents
15Course syllabus
Course syllabus DD2452 ( Spring 2019 - )Course memo
No course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2452: 8 Sept 2020Changes introduced for this course offering
The second lab assignment has been improved since last year, but will need further improvement. We plan to partially restructure the labs and tutorials to reduce the amount of routine work and to clarify their purpose and learning outcomes. We also plan to potentially either add a third lab (on theorem proving with Z3 for instance), or enlarge the first one. We also plan to add an invited lecture by a formal methods practitioner in industry.Course data has been registered manually
Examination grade
73.3%*