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 1522 visits 0060_scott_zoran
  • 0061_scott_zoran_plam_blueroom 1399 visits 0061_scott_zoran_plam_blueroom
  • 0062_martin_angelina_scott 1307 visits 0062_martin_angelina_scott
  • 0063_angelina_vk_zoran_tosci 1653 visits 0063_angelina_vk_zoran_tosci
  • 0064_viktor_zoran 1588 visits 0064_viktor_zoran
  • 0065_angelina_viktor_more_serious 1739 visits 0065_angelina_viktor_more_serious
  • 0066_vk_zoran_martin_tosci 1328 visits 0066_vk_zoran_martin_tosci
  • 0067_martin_plam_hue 1576 visits 0067_martin_plam_hue
  • 0068_vroom 1284 visits 0068_vroom
  • 0069_zoran_ruth_dave 1357 visits 0069_zoran_ruth_dave
  • 0070_marco 1324 visits 0070_marco
  • 0071_zoran_ruth_donut 1399 visits 0071_zoran_ruth_donut
  • 0072_doughnut 2291 visits 0072_doughnut
  • 0075_view_from_stata 1417 visits 0075_view_from_stata
  • Thesis Receipt 1880 visits Thesis Receipt
  • 0080_sunset_on_vassar 1175 visits 0080_sunset_on_vassar
  • 0083_empty_edgerton 1030 visits 0083_empty_edgerton
  • Rue Rufus Rockhead 2307 visits Rue Rufus Rockhead
  • 0018_bulletin_board1 1609 visits 0018_bulletin_board1
  • 0021_bulletin_board3 2001 visits 0021_bulletin_board3
  • 0024_last_minute_prep 1242 visits 0024_last_minute_prep
  • 0025_introducing_plam 1565 visits 0025_introducing_plam
  • 0026_defending 1463 visits 0026_defending
  • 0028_mbt_kkz_waiting_for_results 1513 visits 0028_mbt_kkz_waiting_for_results
  • 0029_cake 1308 visits 0029_cake
  • 0031_just_me_cake 1335 visits 0031_just_me_cake
  • 0033_pondering_bottle 1390 visits 0033_pondering_bottle
  • 0034_futzing_with_bottle 1174 visits 0034_futzing_with_bottle
  • 0036_dave_mbt 1526 visits 0036_dave_mbt
  • 0037_dom_ruth 1335 visits 0037_dom_ruth
  • 0038_ruth_karen 1623 visits 0038_ruth_karen
  • 0042_plam 1385 visits 0042_plam
  • 0043_dom_ruth 1331 visits 0043_dom_ruth
  • 0044_dom_ruth2 1142 visits 0044_dom_ruth2
  • 0045_mbt_yummy 1254 visits 0045_mbt_yummy
  • 0046_kkz_mbt_dave 1476 visits 0046_kkz_mbt_dave
  • 0047_plam_vk 1385 visits 0047_plam_vk
  • 0048_kkz_mbt 1183 visits 0048_kkz_mbt
  • 0049_group_at_dali 1121 visits 0049_group_at_dali
  • 0051_tohoku 1103 visits 0051_tohoku
  • 0053_lobby7 1165 visits 0053_lobby7
  • 0054_view_of_killian_court 1061 visits 0054_view_of_killian_court
  • 0055_lobby10 898 visits 0055_lobby10
  • 0056_green_building 827 visits 0056_green_building
  • 0058_dollar 941 visits 0058_dollar