TUGKAN BATU Curriculum Vitae Department of Computer and Information Science office: (215) 898-9040 University of Pennsylvania home: (215) 569-0952 200 S. 33rd Street, 205 Moore fax: (215) 898-0587 Philadelphia, PA 19104 e-mail: batu@saul.cis.upenn.edu Biographical Citizenship: Turkish Citizen Information Visa Status: F-1 Sex: Male Marital Status: Single Date of Birth: 05/23/1974 Education . University of Pennsylvania, Philadelphia, PA Postdoctoral Researcher August 2001 - Present Supervisor: Sampath Kannan . Cornell University, Ithaca, NY Ph.D., August 2001 Adviser: Ronitt Rubinfeld Major: Computer Science Minor: Mathematics Thesis title: Testing Properties of Distributions . Cornell University, Ithaca, NY M.S., May 2000 . Bilkent University, Ankara, Turkey B.S., June 1996 Graduated with high honors Honors & . Outstanding Teaching Assistant Award, Computer Science Department, Cornell Univer- Awards sity, May 1997 . Turkish Scientific and Technical Council Fellowship, merit based, May 1996. . Bilkent University Scholarship covering all university expenses, 1992-96. . Ranked 222th among over 1,000,000 participants in Nationwide University Entrance Examination, Turkey, 1992. Research . Property Testing / Randomness / Randomized Algorithms / Probabilistic Complexity Interests Classes / Interactive Proof Systems / Sublinear Algorithms / Streaming Algorithms Publications . Testing random variables for independence and identity (with E. Fischer, L. Fort- now, R. Kumar, R. Rubinfeld, and P. White), Proceedings of 42nd Annual Symposium on Foundations of Computer Science, 2001. . Testing that distributions are close (with L. Fortnow, R. Rubinfeld, W.D. Smith, and P. White), Proceedings of 41st Annual Symposium on Foundations of Computer Science, 2000. . Fast Approximate PCPs for Multidimensional Bin-packing Problems (with R. Rubinfeld and P. White), Proceedings of Random '99, pages 245-256, 1999. . Runtime Verification of Remotely Executed Code Using Probabilistically Checkable Proof Systems (with R. Rubinfeld and P. White), Proceedings of the FLOC Workshop on Runtime Result Verification, 1999. Work . Postdoctoral researcher (August 2001 - Present), Department of Computer and Infor- Experience mation Science, University of Pennsylvania, Philadelphia, PA. and Projects . Summer Research Assistant (July - August 2000), NEC Research Institute, Princeton, NJ. . Instructor (July - August 1997, September - December 1997, Fall 1998, Fall 1999), Computer Science Department, Cornell University, Ithaca, NY. . Research Assistant (September 1997 - August 2001), Computer Science Department, Cornell University, Ithaca, NY. . Teaching Assistant (September 1996 - May 1997), Computer Science Department, Cor- nell University, Ithaca, NY. . Senior Project, Bilkent University, Ankara, Turkey (May 1996). Schema-Guided Trans- formations of Logic Algorithms. Supervisor: Dr. Pierre Flener. . Practicing Engineer (July - August 1995), Flight Mechanics Research Group, Turkish Scientific and Technical Council - Defense Research and Development Institute, Ankara, Turkey. Maintained, improved, and integrated the in-house built missile simulation software, user interface implementation. . Practicing Engineer (July - August 1994), Systems support, Turkish Electric Company, Ankara, Turkey. Worked on maintenance of software and configuring of hardware for users. Teaching . CS 113, Introduction to C, Cornell University. Instructor, responsible of the entire Experience course. Prepared and gave lectures, assignments, held office hours. Fall 1999. . CS 100B, Introduction to Computer Programming, Cornell University. Recitation In- structor, responsible of two sections. Prepared and gave lectures, held office hours. Fall 1998. . CS 213, C++ Programming, Cornell University. Instructor, responsible of the entire course. Prepared and gave lectures, assignments, held office hours. Fall 1997. . CS 482, Introduction to Analysis of Algorithms, Cornell University. Instructor, respon- sible of the entire course. Prepared daily lectures, assignments, tests, held office hours. Summer 1997. . CS 482, Introduction to Analysis of Algorithms, Cornell University. Helped prepare and grade assignments and tests, held office hours, lectured occasionally. Spring 1997. . CS 211, Computers and Programming, Cornell University. Held recitations weekly, helped prepare and grade problems sets, tests, and programming projects, held office hours. Fall 1996. . CS 472, Foundations of Artificial Intelligence, Cornell University. Helped grade assign- ments and tests, held office hours. Fall 1996. . Developer and instructor for UNIX courses by Computer Club, Bilkent University, Ankara, Turkey, 1995-1996. . Graduate level knowledge in algorithms, theory of computing, programming languages, operating systems, artificial intelligence, programming logic and verification. Under- graduate level knowledge in all standard undergraduate level CS courses as well as some mathematics courses. Extra- . Vice-president of the Turkish Graduate Student Association, Cornell University, Ithaca, curricular NY, September 1997 - October 1998, Member of the Steering Committee, September Activities 1999 - September 2000. . Founder, and coordinator of Education Group of the Computer Club, Bilkent University, Ankara, Turkey, 1995 - 1996. References Ronitt Rubinfeld NEC Research Institute 4 Independence Way Princeton, NJ 08540 e-mail: ronitt@research.nj.nec.com phone: (609) 951-2719 Lance Fortnow NEC Research Institute 4 Independence Way Princeton, NJ 08540 e-mail: fortnow@research.nj.nec.com phone: (609) 951-2720 Professor Jon Kleinberg Dept. of Computer Science Upson Hall Cornell University Ithaca, NY 14853 e-mail: kleinber@cs.cornell.edu phone: (607) 255-3600