Hello and welcome to my Internet home page. My name is Hormoz Zarnani. I am a second-year Ph.D. student in the Computer Science Department at the Carnegie Mellon University School of Computer Science. My advisor is Randy Bryant.

I received my B.S. from the Department of Computer Sciences at The University of Texas at Austin in December 2005.

I organize the Formal Methods Reading Group.

My course schedule for Fall 2007 is available here.