Sriram Rajamani

Sriram Rajamani has been with UCBerkeley's CAD group since Fall 95. Assuming his reviewers will sign his thesis, he will get a Ph.D. soon. In a prior life, Sriram worked in the CAD tools division at Xilinx Inc, and fondly recalls being a part of the Virtex design team. Sriram has an MS from University of Virginia, and a BEng from Anna University, Madras. Sriram has recently started as a researcher at Microsoft Research.