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 1579 visits 0060_scott_zoran
  • 0061_scott_zoran_plam_blueroom 1468 visits 0061_scott_zoran_plam_blueroom
  • 0062_martin_angelina_scott 1367 visits 0062_martin_angelina_scott
  • 0063_angelina_vk_zoran_tosci 1715 visits 0063_angelina_vk_zoran_tosci
  • 0064_viktor_zoran 1659 visits 0064_viktor_zoran
  • 0065_angelina_viktor_more_serious 1803 visits 0065_angelina_viktor_more_serious
  • 0066_vk_zoran_martin_tosci 1375 visits 0066_vk_zoran_martin_tosci
  • 0067_martin_plam_hue 1644 visits 0067_martin_plam_hue
  • 0068_vroom 1345 visits 0068_vroom
  • 0069_zoran_ruth_dave 1413 visits 0069_zoran_ruth_dave
  • 0070_marco 1381 visits 0070_marco
  • 0071_zoran_ruth_donut 1458 visits 0071_zoran_ruth_donut
  • 0072_doughnut 2351 visits 0072_doughnut
  • 0075_view_from_stata 1469 visits 0075_view_from_stata
  • Thesis Receipt 1931 visits Thesis Receipt
  • 0080_sunset_on_vassar 1229 visits 0080_sunset_on_vassar
  • 0083_empty_edgerton 1093 visits 0083_empty_edgerton
  • Rue Rufus Rockhead 2369 visits Rue Rufus Rockhead
  • 0018_bulletin_board1 1671 visits 0018_bulletin_board1
  • 0021_bulletin_board3 2070 visits 0021_bulletin_board3
  • 0024_last_minute_prep 1302 visits 0024_last_minute_prep
  • 0025_introducing_plam 1624 visits 0025_introducing_plam
  • 0026_defending 1530 visits 0026_defending
  • 0028_mbt_kkz_waiting_for_results 1577 visits 0028_mbt_kkz_waiting_for_results
  • 0029_cake 1374 visits 0029_cake
  • 0031_just_me_cake 1404 visits 0031_just_me_cake
  • 0033_pondering_bottle 1448 visits 0033_pondering_bottle
  • 0034_futzing_with_bottle 1243 visits 0034_futzing_with_bottle
  • 0036_dave_mbt 1578 visits 0036_dave_mbt
  • 0037_dom_ruth 1449 visits 0037_dom_ruth
  • 0038_ruth_karen 1672 visits 0038_ruth_karen
  • 0042_plam 1455 visits 0042_plam
  • 0043_dom_ruth 1407 visits 0043_dom_ruth
  • 0044_dom_ruth2 1200 visits 0044_dom_ruth2
  • 0045_mbt_yummy 1311 visits 0045_mbt_yummy
  • 0046_kkz_mbt_dave 1532 visits 0046_kkz_mbt_dave
  • 0047_plam_vk 1444 visits 0047_plam_vk
  • 0048_kkz_mbt 1239 visits 0048_kkz_mbt
  • 0049_group_at_dali 1181 visits 0049_group_at_dali
  • 0051_tohoku 1168 visits 0051_tohoku
  • 0053_lobby7 1231 visits 0053_lobby7
  • 0054_view_of_killian_court 1112 visits 0054_view_of_killian_court
  • 0055_lobby10 947 visits 0055_lobby10
  • 0056_green_building 886 visits 0056_green_building
  • 0058_dollar 1005 visits 0058_dollar