It’s been a long day and I am glad that it is finally over. Got up at five, did some work, went to the office at six, did some work, bitter disappointment, OK-ish lecture, home to nap, and finally a visit to my brother.
The disappointment was not that bitter. It turns out that the remaining three students who were planning take my model checking course decided not to do so. It is a bit of a pity, but I don’t blame them. From the outside, the course probably seemed like a lot of work. ”Three” sounds like a very small number, but we have a relatively small class this year. I hope that this will be the low point of our enrolment. Already more students are coming down the pipeline. There are only five students in my graphics class, and how I wish the situation was reversed!
One the other hand, this frees up 3 hours of lectures a week and at least another 6-9 hours of preparation. In fact, probably much more, as I intended to complete all of the exercises myself. It also means that my opus on model checking won’t be kick-started by lecture notes this year, either. That window is closing fast. It still leaves me with 8 hours of weekly lectures which is much more manageable.
Tomorrow will be another long day. Another early rise (my weak point) and then business until 15:00, going to the other side of Cape Town to pick up a surprise, and back to my brother’s to return the video camera I borrowed this evening and download the videos.
Pingback: BOBBY