plam gallery

adventures with plam

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.
  • 0060_scott_zoran 1548 visits 0060_scott_zoran
  • 0061_scott_zoran_plam_blueroom 1441 visits 0061_scott_zoran_plam_blueroom
  • 0062_martin_angelina_scott 1343 visits 0062_martin_angelina_scott
  • 0063_angelina_vk_zoran_tosci 1687 visits 0063_angelina_vk_zoran_tosci
  • 0064_viktor_zoran 1621 visits 0064_viktor_zoran
  • 0065_angelina_viktor_more_serious 1772 visits 0065_angelina_viktor_more_serious
  • 0066_vk_zoran_martin_tosci 1353 visits 0066_vk_zoran_martin_tosci
  • 0067_martin_plam_hue 1615 visits 0067_martin_plam_hue
  • 0068_vroom 1326 visits 0068_vroom
  • 0069_zoran_ruth_dave 1384 visits 0069_zoran_ruth_dave
  • 0070_marco 1358 visits 0070_marco
  • 0071_zoran_ruth_donut 1431 visits 0071_zoran_ruth_donut
  • 0072_doughnut 2325 visits 0072_doughnut
  • 0075_view_from_stata 1451 visits 0075_view_from_stata
  • Thesis Receipt 1910 visits Thesis Receipt
  • 0080_sunset_on_vassar 1204 visits 0080_sunset_on_vassar
  • 0083_empty_edgerton 1071 visits 0083_empty_edgerton
  • Rue Rufus Rockhead 2346 visits Rue Rufus Rockhead
  • 0018_bulletin_board1 1640 visits 0018_bulletin_board1
  • 0021_bulletin_board3 2037 visits 0021_bulletin_board3
  • 0024_last_minute_prep 1274 visits 0024_last_minute_prep
  • 0025_introducing_plam 1595 visits 0025_introducing_plam
  • 0026_defending 1498 visits 0026_defending
  • 0028_mbt_kkz_waiting_for_results 1540 visits 0028_mbt_kkz_waiting_for_results
  • 0029_cake 1343 visits 0029_cake
  • 0031_just_me_cake 1373 visits 0031_just_me_cake
  • 0033_pondering_bottle 1421 visits 0033_pondering_bottle
  • 0034_futzing_with_bottle 1214 visits 0034_futzing_with_bottle
  • 0036_dave_mbt 1550 visits 0036_dave_mbt
  • 0037_dom_ruth 1383 visits 0037_dom_ruth
  • 0038_ruth_karen 1649 visits 0038_ruth_karen
  • 0042_plam 1420 visits 0042_plam
  • 0043_dom_ruth 1373 visits 0043_dom_ruth
  • 0044_dom_ruth2 1178 visits 0044_dom_ruth2
  • 0045_mbt_yummy 1288 visits 0045_mbt_yummy
  • 0046_kkz_mbt_dave 1501 visits 0046_kkz_mbt_dave
  • 0047_plam_vk 1419 visits 0047_plam_vk
  • 0048_kkz_mbt 1211 visits 0048_kkz_mbt
  • 0049_group_at_dali 1156 visits 0049_group_at_dali
  • 0051_tohoku 1142 visits 0051_tohoku
  • 0053_lobby7 1200 visits 0053_lobby7
  • 0054_view_of_killian_court 1090 visits 0054_view_of_killian_court
  • 0055_lobby10 926 visits 0055_lobby10
  • 0056_green_building 861 visits 0056_green_building
  • 0058_dollar 978 visits 0058_dollar