Home / PhD defense, December 2006 [45]
On December 19, 2006, I successfully defended my PhD thesis, The Hob System for Verifying Software Design Properties. Here are pictures from the defense and its aftermath.
0060_scott_zoran
0061_scott_zoran_plam_blueroom
0062_martin_angelina_scott
0063_angelina_vk_zoran_tosci
0064_viktor_zoran
0065_angelina_viktor_more_serious
0066_vk_zoran_martin_tosci
0067_martin_plam_hue
0068_vroom
0069_zoran_ruth_dave
0070_marco
0071_zoran_ruth_donut
0072_doughnut
0075_view_from_stata
Thesis Receipt