Pictures from my thesis defense.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.
0018_bulletin_board1
0026_defending
0044_dom_ruth2
0045_mbt_yummy
0054_view_of_killian_court
0055_lobby10
0056_green_building
0058_dollar
0065_angelina_viktor_more_serious
0066_vk_zoran_martin_tosci
0068_vroom
0070_marco
0075_view_from_stata
0080_sunset_on_vassar
0083_empty_edgerton
0021_bulletin_board3
0024_last_minute_prep
0025_introducing_plam
0028_mbt_kkz_waiting_for_results
0029_cake
0031_just_me_cake
0033_pondering_bottle
0034_futzing_with_bottle
0036_dave_mbt
0037_dom_ruth
0038_ruth_karen
0042_plam
0043_dom_ruth
0046_kkz_mbt_dave
0047_plam_vk
0048_kkz_mbt
0049_group_at_dali
0051_tohoku
0053_lobby7
0060_scott_zoran
0061_scott_zoran_plam_blueroom
0062_martin_angelina_scott
0063_angelina_vk_zoran_tosci
0064_viktor_zoran
0067_martin_plam_hue