Hormoz Zarnani is a graduate student in the Computer Science Department at Carnegie MellonU working with Randy Bryant. His main research interest is formal verification. He is currently part of a joint project with Intel Research Pittsburgh to develop a highly scalable BDD package. Prior to joining CMU, he was a student at the University of Texas at Austin where he received a B.S. in computer science in 2005.
Appointments: dcm@cs.cmu.edu