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 3047 visits
- 0026_defending 2629 visits
- 0044_dom_ruth2 2425 visits
- 0045_mbt_yummy 2442 visits
- 0054_view_of_killian_court 2445 visits
- 0055_lobby10 2025 visits
- 0056_green_building 1986 visits
- 0058_dollar 2152 visits
- 0065_angelina_viktor_more_serious 3378 visits
- 0066_vk_zoran_martin_tosci 2646 visits
- 0068_vroom 2568 visits
- 0070_marco 2511 visits
- 0075_view_from_stata 2632 visits
- 0080_sunset_on_vassar 2285 visits
- 0083_empty_edgerton 2145 visits
- 0021_bulletin_board3 3855 visits
- 0024_last_minute_prep 2788 visits
- 0025_introducing_plam 3153 visits
- 0028_mbt_kkz_waiting_for_results 2982 visits
- 0029_cake 2697 visits
- 0031_just_me_cake 2754 visits
- 0033_pondering_bottle 2813 visits
- 0034_futzing_with_bottle 2712 visits
- 0036_dave_mbt 3284 visits
- 0037_dom_ruth 3125 visits
- 0038_ruth_karen 3033 visits
- 0042_plam 2800 visits
- 0043_dom_ruth 2767 visits
- 0046_kkz_mbt_dave 2917 visits
- 0047_plam_vk 3082 visits
- 0048_kkz_mbt 2614 visits
- 0049_group_at_dali 2553 visits
- 0051_tohoku 2696 visits
- 0053_lobby7 2875 visits
- 0060_scott_zoran 3156 visits
- 0061_scott_zoran_plam_blueroom 2973 visits
- 0062_martin_angelina_scott 2745 visits
- 0063_angelina_vk_zoran_tosci 3262 visits
- 0064_viktor_zoran 3060 visits
- 0067_martin_plam_hue 3258 visits
- 0069_zoran_ruth_dave 2817 visits
- 0071_zoran_ruth_donut 2866 visits
- 0072_doughnut 3801 visits
- Thesis Receipt 3813 visits
- Rue Rufus Rockhead 4020 visits