PhD Defence Immo Grabe

We herewith invite you to attend the public defence of Immo Grabe (SEN3) of his thesis: Static Analysis of Unbounded Structures in Object-Oriented Programs Promotor: Prof. dr. F.S. de Boer (CWI en UL) and Prof. dr. M. Steffen (University Oslo)

Share this page
When
19 dec 2012 from 9 a.m. to 19 dec 2012 11 a.m. CET (GMT+0100)
Where
Academiegebouw Universiteit Leiden
Add
Add event to calendar

We herewith invite you to attend the public defence of Immo Grabe (SEN3) of his thesis:

Static Analysis of Unbounded Structures in Object-Oriented Programs

Promotor: Prof. dr. F.S. de Boer (CWI en UL) and Prof. dr. M. Steffen (University Oslo)

 

See also:
Immo Grabe defends thesis on formal methods for parallel programs