Messages
Thanks for the feedback.
The time that seems to fit best is Fridays as 10-12.
I have booked meeting room BIO in the 10th floor.
Dear all,
A bit delayed update on the IN5440 course. Last week was quite hectic with start of a master education and other unplanned work.
We will follow the material from the DTU course 02242: Program Analysis
https://www2.compute.dtu.dk/courses/02242/
There is about 10 lectures, some practical work, that is available on GitHub. This schedule also include time for project work.
I suggest that project are made in groups of 2-3 students (not 4-6 as on the DTU page). We will organise these later.
The exam will be oral. It will be partly a presentation and discussion of the project; partly questions in the material.
I will organise meetings from next week. I can see that only two had the option to fill the Netskjema, so I have opened it again until Wednesday.
https://nettskjema.no/a/in5440-meeting
There are 14 students signed up for the course, so I might separate it into ...
Dear all,
For the planning of the regular meeting, I would like to all you to fill this form.
https://nettskjema.no/a/in5440-meeting
Basically, just write what other courses you have this fall and regular events you have. Then I will find a time and place.
Best,
Michael
Dear all,
As mentioned IN5440 will run as a self-study course, meaning that there will be no lectures. However, I plan that we can book a weekly meeting room for open discussions. I will also suggest that each of you for this takes turns leading these metings.
I have promised to find material for you. The plan will be to follow some material from the Program Analysis course at DTU in Copenhagen:
https://www2.compute.dtu.dk/courses/02242/#sec:schedule
I will discuss the practical stuff with Christian Kalhauge (teaching the course at DTU) about some of the practical stuff.
Perhaps with something more.
This will be fixed before semester start.
Best,
Michael
IN5440 will Autumn 2026 be held as a self-study, available to Master's students who have the course approved as part of their theoretical curriculum.