Course development
On this page, the course coordinator or examiner will publish course analyses with course data for a course offering. When the course analysis has been published, the course data, the course memo, and the course syllabus are displayed. 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, etc. can use the page as support in course development.
2024
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2023
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2022
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2021
When the course analysis has been published, the course data, course memo and course syllabus are displayed.
2020
Doktorand ( Start date 24/08/2020, English ) , Autumn 2020-1 ( Start date 24/08/2020, English )
Course syllabus DD2452 ( Spring 2019 - )No course memo addedNo course memo addedCourse analysis: 21 Jun 2021| Coordinator | Examiners | Students | Examination | Result | Changes of the course before this course offering |
|---|---|---|---|---|---|
| Dilian Gurov | Dilian Gurov | 12 * | HEMA (2.5) P, F LABA (2.5) A, B, C, D, E, FX, F TENA (2.5) A, B, C, D, E, FX, F | 20 % * | The second lab assignment has been simplified and adapted better to the course goals. |
Course data has been registered manually
Additional data about the course analysis
The course analysis applies to following course offerings
Compulsory within programme
No information inserted
Published first time
21 Jun 2021
Last time changed
No changes since first published.
2019
form19 ( Start date 26/08/2019, English )
Course syllabus DD2452 ( Spring 2019 - )No course memo addedCourse analysis: 8 Sept 2020| Coordinator | Examiners | Students | Examination | Result | Changes of the course before this course offering |
|---|---|---|---|---|---|
| Dilian Gurov | Dilian Gurov | 15 | HEMA (2.5) P, F LABA (2.5) A, B, C, D, E, FX, F TENA (2.5) A, B, C, D, E, FX, F | 73.3 % * | 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
Additional data about the course analysis
The course analysis applies to following course offerings
Compulsory within programme
No information inserted
Published first time
8 Sept 2020
Last time changed
No changes since first published.