Home | Papers | Contact Info | About Me

The defense of my PhD was on Thursday, February 15, 2007, at 1pm, in the Auditorium of the Arenberg Castle, Heverlee, Belgium. After the defense I was promoted to Doctor of Engineering: Computer Science.

Dissertation:

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. [PDF]

Errata:

• At the start of Chapter 5, Formal Development, after the first paragraph, insert the following paragraph:

  Important contributions to the ideas in this chapter were made by Jan Smans, Frank Piessens, and Wolfram Schulte.

E-mail: