Home / PhD defense, December 2006 45

Pictures from my thesis defense.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.