24 March 2004A Course on Concurrency Theory and Verification
Yesterday I finished teaching a 15 lecture course on concurrency theory and verification. Those of you who may be interested in looking at the material I used for the course will find it available from the course web pages. I would, of course, be happy to have your comments on the course, and suggestions for improvements. Anna Ingólfsdóttir, Kim G. Larsen and I plan to work more on the draft notes, which we hope to publish at some point in the future.
I always enjoy teaching this course, but usually it is hard to convince the students that there is a point in using the models and techniques that we introduce. I had the feeling that this year's students were more receptive than usual, and that some of them found the material topical and interesting --- so much so that they even attended research seminars on concurrency related topics! As Jan Friso Groote repeatedly said during his last visit to Aalborg in February, modelling and model analysis will become part and parcel of the background and work practices of the working software engineer. I hope that courses like the concurrency one we offer here may be a first step towards realizing his prediction.
This coming Friday I'll be travelling back to Reykjavík, where I'll be based at Reykjavík University until I need to travel back to Aalborg for exams. My next posting will be from Iceland.
Last modified: Wednesday, 24-Mar-2004 18:28:36 CET.