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