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
4076 visits
-
0026_defending
3369 visits
-
0044_dom_ruth2
3196 visits
-
0045_mbt_yummy
3261 visits
-
0054_view_of_killian_court
3349 visits
-
0055_lobby10
2765 visits
-
0056_green_building
2786 visits
-
0058_dollar
2898 visits
-
0065_angelina_viktor_more_serious
4203 visits
-
0066_vk_zoran_martin_tosci
3434 visits
-
0068_vroom
3373 visits
-
0070_marco
3309 visits
-
0075_view_from_stata
3460 visits
-
0080_sunset_on_vassar
3052 visits
-
0083_empty_edgerton
2868 visits
-
0021_bulletin_board3
5284 visits
-
0024_last_minute_prep
4035 visits
-
0025_introducing_plam
4360 visits
-
0028_mbt_kkz_waiting_for_results
4177 visits
-
0029_cake
3942 visits
-
0031_just_me_cake
3946 visits
-
0033_pondering_bottle
4020 visits
-
0034_futzing_with_bottle
3887 visits
-
0036_dave_mbt
4529 visits
-
0037_dom_ruth
4269 visits
-
0038_ruth_karen
4242 visits
-
0042_plam
4046 visits
-
0043_dom_ruth
3957 visits
-
0046_kkz_mbt_dave
4040 visits
-
0047_plam_vk
4277 visits
-
0048_kkz_mbt
3810 visits
-
0049_group_at_dali
3859 visits
-
0051_tohoku
3860 visits
-
0053_lobby7
4110 visits
-
0060_scott_zoran
4290 visits
-
0061_scott_zoran_plam_blueroom
4208 visits
-
0062_martin_angelina_scott
4049 visits
-
0063_angelina_vk_zoran_tosci
4559 visits
-
0064_viktor_zoran
4340 visits
-
0067_martin_plam_hue
4479 visits
-
0069_zoran_ruth_dave
4029 visits
-
0071_zoran_ruth_donut
4155 visits
-
0072_doughnut
5008 visits
-
Thesis Receipt
5181 visits
-
Rue Rufus Rockhead
5328 visits
