See Older

Tom Staijen's PhD defense

Tom Staijen’s PhD defense

On June 3rd 2010, Tom Staijen will defend his Ph.D. thesis entitled “Graph-Based Specification and Verification for Aspect-Oriented Languages”. Tom was a member of our group from May 2005 until July 2009. The defense will start at 15:00 in Lecture room 4 (‘Collegezaal 4’) of the Waaier building. Before the defense (at 14:45) Tom will give a short introduction to his work (in Dutch).