Ganesha Upadhyaya, a graduate student in the Dept. of Computer Science and a member of the Laboratory for Software Design successfully defended his PhD thesis today. His thesis title was ``Collective Program Analysis.’’ More details about his thesis are available here.