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
2803 visits
-
0026_defending
2413 visits
-
0044_dom_ruth2
2217 visits
-
0045_mbt_yummy
2233 visits
-
0054_view_of_killian_court
2195 visits
-
0055_lobby10
1859 visits
-
0056_green_building
1816 visits
-
0058_dollar
1945 visits
-
0065_angelina_viktor_more_serious
3028 visits
-
0066_vk_zoran_martin_tosci
2347 visits
-
0068_vroom
2330 visits
-
0070_marco
2331 visits
-
0075_view_from_stata
2419 visits
-
0080_sunset_on_vassar
2118 visits
-
0083_empty_edgerton
2005 visits
-
0021_bulletin_board3
3533 visits
-
0024_last_minute_prep
2512 visits
-
0025_introducing_plam
2925 visits
-
0028_mbt_kkz_waiting_for_results
2766 visits
-
0029_cake
2462 visits
-
0031_just_me_cake
2572 visits
-
0033_pondering_bottle
2626 visits
-
0034_futzing_with_bottle
2501 visits
-
0036_dave_mbt
3066 visits
-
0037_dom_ruth
2941 visits
-
0038_ruth_karen
2825 visits
-
0042_plam
2593 visits
-
0043_dom_ruth
2547 visits
-
0046_kkz_mbt_dave
2740 visits
-
0047_plam_vk
2814 visits
-
0048_kkz_mbt
2438 visits
-
0049_group_at_dali
2322 visits
-
0051_tohoku
2493 visits
-
0053_lobby7
2642 visits
-
0060_scott_zoran
2921 visits
-
0061_scott_zoran_plam_blueroom
2750 visits
-
0062_martin_angelina_scott
2536 visits
-
0063_angelina_vk_zoran_tosci
3037 visits
-
0064_viktor_zoran
2885 visits
-
0067_martin_plam_hue
3065 visits
-
0069_zoran_ruth_dave
2625 visits
-
0071_zoran_ruth_donut
2671 visits
-
0072_doughnut
3597 visits
-
Thesis Receipt
3590 visits
-
Rue Rufus Rockhead
3781 visits