With trimester 4.1 (4th year, 1st trimester) finished, it is almost time to start the next already. The exams went fairly well, but have yet to see what became of all them and the assignments and projects. I’ve chosen these as my Master subjects for the next trimester (although the first three are obligatory):
- Proving with Computer Assistance
- Requirements Analysis, Design and Verification
- Probabilistic Algorithms
- Language and Structure of Mathematics
I’ve also got some 3rd year subjects I’ll have to retry (yet again):
And these are subjects that I started last trimester/year, which I will be finishing next trimester too:
Hrm, still a lot… but I am going to enjoy this trimester, it’s more in the formal but also practical corner. Anyway, first a long weekend, time to get some free software stuff done.