Concurrent Object Oriented Languages


In this course, we focus on concurrent programming in the object oriented language Java. The course consists of three main parts. In the first part, we discuss concurrent programming in general. In the second part, we concentrate on writing concurrent programs in Java. In the third and final part, we look at techniques and tools to verify concurrent Java programs.


Franck van Breugel,

Lecture times

Mondays and Wednesdays, 11:30-13:00, Ross Building, room S536

Office hours

Mondays and Wednesdays, 13:00-14:00, Computer Science and Engineering Building, room 3046.


Additional material, discussions, etcetera can be found at the forum.