Course development
DD2557 Program Semantics and Analysis 7.5 credits
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.
2025
semant25 2025-60440 ( Start date 17 Mar 2025, English )
Changes planned for the next course offering
One idea for improvement, suggested by one student, is to split the second lab assignment into a first, theoretical
part and a second, practical part, so as to get feedback on the correctness of the theory before implementing it.
Concerning the design of the take-home exam problems, my idea is in the future to sketch exam problems during
the course, so as not to stress this process in the end. In any case, it is a challenge to come up with the right level
of volume and complexity.
Coordinator
Dilian GurovExaminers
Dilian GurovStudents
16Course syllabus
Course syllabus DD2557 ( Spring 2023 - )Course memo
No course memo addedCompulsory within programme
No information insertedResults on course
Total number
13
A
9
B
2
C
1
D
1
E
0
FX
0
F
0
2024
Course analysis not published
2023
semant23 ( Start date 20 Mar 2023, English )
Changes planned for the next course offering
No information inserted
Coordinator
Dilian GurovExaminers
Dilian GurovStudents
14Course syllabus
Course syllabus DD2557 ( Spring 2023 - )Course memo
No course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2557: 30 Jun 2023Changes introduced for this course offering
The current course DD2557 is given for the first time as a 7.5 credit course. Previously it was a 6.0 credits course with code DD2457. The main change is the replacement of the 5-hour written final exam with a 24-hour take-home written exam, complemented (if needed) with an oral examination. This change required a certain change in the format of the exam questions, mainly moving towards more open-ended ones.Course data has been registered manually
Examination grade
71.4%*