 Hi there! Welcome to my home page! My name is Funda Ergun. I am a Ph.D. student in the Computer Science Dept. here in Cornell. I am working on  program checking with Prof. Ronitt Rubinfeld. Here is my  <a href="http://www.cs.cornell.edu/Info/People/ergun/research.html">research </a> page. <P>
