CS People at a Glance

Editorial Activities of the Faculty

ACM Computing Surveys (Schneider, Editor)
ACM Transactions on Programming Languages and Systems (Morrisett, Associate Editor)
Algorithmica (Hopcroft, Editor and Member, Executive Committee)
Annals of Software Engineering (Schneider, Editor)
Annals of Mathemathics (Selman, Editorial Board)
Applied Mathematics Letters (Coleman, Editorial Board)
Artificial Intelligence Journal (Halpern; Selman, Editorial Board)
Chicago Journal of Theoretical Computer Science (Tardos, Editor; Halpern, Consulting Editor)
Combinatorica (Tardos, Editor)
Communication on Applied Non-linear Analysis (Coleman, Editorial Board)
Computational Geometry: Theory and Applications (Kedem, Guest Editor)
Computational Linguistics (Lee, Editorial Board)
Computational Optimization and Applications (Coleman, Editorial Board)
Constraints: An International Journal (Selman, Editorial Board)
D-Lib Magazine (Arms, Editor-in-chief)
Discrete Mathematics and Theoretical Computer Science (Pingali, Editorial Board)
Distributed Computing (Schneider, Editor)
Formal Methods in System Design (Constable, Editor)
Fundamenta Informaticae (Hartmanis, Editor)
High Integrity Systems (Schneider, Editor)
IEEE Transactions on Signal Processing (Hemami, Associate Editor)
Information and Computation (Halpern, Editorial Board)
Information Processing Letters (Schneider, Editor)
Information Sciences (Hopcroft, Associate Editor)
International Journal of Computational Geometry and Applications (Hopcroft, Editor)
International Journal Parallel Programming (Pingali, Editorial Board)
Journal of Logic and Computation (Constable, Editor)
Journal of Computer and Systems Sciences (Hartmanis, Hopcroft, Editors; Hopcroft, Associate Editor )
Journal of Functional Programming (Morrisett, Editor)
Journal of Global Optimization (Vavasis, Editorial Board)
Journal of Interconnection Networks (Tardos, Editor)
Journal of Logic and Computation (Constable, Halpern, Editorial Board)
Journal of Scheduling (Shmoys, Associate Editor)
Journal of Symbolic Computation (Constable, Editor)
Journal of the ACM (Halpern, Editor-in-chief)
Journal of Theoretical Computer Science (Tardos, Editor)
Machine Learning (Cardie, Editorial Board; Lee, Editorial Board)
Mathematical Modeling and Scientific Computing (Coleman, Editorial Board)
Mathematical Programming (Vavasis, Editorial Board, Shmoys, Tardos, Associate Editors)
Mathematics of Operations Research(Tardos, Area Editor, Shmoys, Associate Editor)
MIT Press Series on Digital Libraries and Electronic Publishing (Arms, Series Editor)
Natural Language Semantics (Rooth, Editorial Board)
Pattern Recognition Society Journal (Chew, Kedem, Editorial Board)
SIAM Journal on Computing (Shmoys, Tardos, Editors)
SIAM Journal on Discrete Mathematics (Shmoys, Editor-in-chief)
SIAM Journal of Matrix Analysis Applications (Vavasis, Editorial Board)
SIAM/MPS Series on Optimization (Shmoys, Co-editor)
SIAM Review (Vavasis, Editorial Co-editor)
Springer-Verlag Lecture Notes in Computer Science (Hartmanis, Editor)
Springer-Verlag Texts and Monographs in Computer Science (Schneider, Co-managing Editor)


Faculty Personnel Changes

New Faculty in Spring 2001

Gun Sirer, who is receiving his Ph.D. from the University of Washington, joined the faculty in January as an Assistant Professor. His research interests include extensible, distributed, and networked systems.

Golan Yona (Hebrew University, 1999) joined the faculty as an Assistant Professor in January. His research area is computational molecular biology.

New Faculty in 2001

Rich Caruana (CMU, 1997) works in machine learning and data mining, medical decision making and bioinformatics, feature selection, missing values, inductive transfer, artificial neural networks, memory-based learning. He joins the department in July.

Daisy Fan's (Cornell, Civil & Environmental Engineering, 2001) research interests include the application of systems analysis techniques for water resources and environmental problems.

Thorsten Joachims (Dortmund, 1997) works in machine learning and intelligent agents, with a focus on Support Vector Machines and machine learning with text. He will be joining the department in October.

Jeanna Neefe Matthews's (Berkeley, 2000) research interests include file systems, storage systems, and more generally, operating systems and distributed systems. She will join the department in January.

Radu Rugina (UCSB, 2001) is interested in pointer analysis, parallelizing compilers, and parallel computing. He will be joining the department in January.

Jayavel Shanmugasundaram's (Wisconsin, 2001) research interests include internet data management, database systems, and transaction processing in emerging system architectures. He will be joining the department in August.

Sam Toueg has resigned and has joined the faculty at the University of Toronto.
Praveen Seshadri has resigned and will remain at Microsoft, where he has been on leave for the last two years.
Thorsten von Eicken has resigned and will remain at Expertcity.com, where he has been on leave for the last two years.

Juris Hartmanis becomes emeritus, effective July 1, 2001.
Claire Cardie, Jon Kleinberg and Greg Morrisett were promoted to associate professor.

Sabbaticals and Leaves
Keshav Pingali, Fred Schneider, and Ramin Zabih are returning from academic year sabbatical leaves. Ramin will continue his affiliation with the Department of Radiology at the Cornell Medical School in New York City. He will be teaching on the Ithaca Campus during the fall 01 semester.

Claire Cardie, Tom Coleman, and Joe Halpern will be on sabbatical leave during the next academic year. Dan Huttenlocher will continue to be on leave from the department during the coming academic year.

William Arms
Graeme Bailey
Kenneth P. Birman
Thomas F. Coleman
Robert L. Constable
Alan Demers
Ron Elber
Donald Greenberg
Joseph Halpern
Juris Hartmanis
John E. Hopcroft
Daniel P. Huttenlocher
Klara Kedem
Dexter Kozen
Keshav K. Pingali
David B. Schmoys
Fred B. Schneider
Eva Tardos
Sam Toueg
Charles Van Loan

Associate Professors
Claire Cardie
Jon Kleinberg
Greg Morrisett
Bart Selman
Tim Teitelbaum
Stephen Vavasis
Ramin Zabih

Assistant Professors

Johannes Gehrke
Lillian Lee
Andrew Myers
David Schwartz
Emin Gun Sirer
Thorsten von Eicken
Golan Yona

Gregery Buzzard
Ron DiNapoli
Matthew Morgenstern
Thomas Yan
Lidong Zhou

Senior Research Associates
L. Paul Chew
Dean Krafft
Christoph Kreitz
Yuying Li
Robbert van Renesse

Research Associates
Stuart Allen
Philip Bonnet
Saleh El Mohamed
Carla Gomes
Carl Lagoze
Koneshan Sivapathasundram
Paul Stodghill
Werner Vogels

Research Staff
Donna Bergmark
Naomi Dushay
Rich Eaton
Lori Lorigo
Jaroslaw Meller
Sandy Payette
Carol Terizzi

Postdoctoral Associates
Kavita Bala
Ramon Bejar
Raoul Bhoedjang
Alfredo Cardenas
Tamara Galor
Avijit Ghosh
Anupam Gupta
Pavel Naumov
Koneshan Sivapathasundram
Veaceslav Zaloj

Visiting Faculty
Sergei Artemov, Russian Academy of Sciences, Moscow, Russia
Bruno Codenotti, University of Pisa, Pisa, Italy
Daniel Mosse, University of Pittsburgh
Khalid Mughal, University of Bergen, Bergen, Norway
Herbert Van De Sompel, Open Archives Initiative
Walker White, University of Dallas

Academic Visitors

Mathieu Baudet, EcolePolytechnique, France
Tim Clark, Reliable Network Solutions
William Debany, Rome Air Force Research Lab
Dan Dumitriu, Reliable Network Solutions
Mark Dyson, Rome Air Force Research Lab
Walter Gadz, Rome Air Force Research Lab
Kevin Kwait, Rome Air Force Research Lab
Eva-MarieLuther,Technische Fachhochschule Berlin, Germany
Amy Magnus, Rome Air Force Research Lab
Andreas Meier, Universitaet des Saarlandes
Louis Pochet, Rome Air Force Research Lab
Leonard Popyack, Rome Air Force Research Lab
Jurek Tiuryn, University of Warsaw, Poland
Matthew Thomas, Rome Air Force Research Lab
Sharon Walter, Rome Air Force Research Lab
Richard Zippel, School of Computer & Media Science Interdisciplinary Center, Herzliya, Israel


Administrative and Technical Staff

Director of Administration: Pat Musa
Human Resources Manager: Susan Schwarz
Director of Corporate Relations: Marcy Rosenkrantz
Alumni Relations: Dan Jenkins
Assistant to the Chair: George Manning/Nora Balfour
Front Office Manager: Bonnie Maine

Finance Office
Finance Manager: Claudia Wojcinski
Accounts Representative: Carol Ayer
Award Coordinator/HR Assistant: Laura Kratochvil
HR Assistant: Karla Consroe
Post Award Coordinator: Amy DeVaul
Pre-award Coordinator: Bonnie McCarthy

Graduate Programs

Assistant Director of Graduate Programs: Becky Stewart
Master of Engineering Program Coordinator: Stephanie Meik

Undergraduate Education Program

Assistant Director of Undergraduate Programs: Daniel Jenkins
Course Administrator: Laurie Buck
Reception and Records: Nicole Roy/Anna Salter

Faculty Administrative Assistants
Rosemary Adessa
Kathy Carpenter
Linda Competillo
Helene Croft
Juanita Heyerman
Tammy Howe
Cindy Robinson

Technical Staff

Department Colloquium: Karla Consroe/Linda Competillo
Theory Seminar: Karla Consroe/Tammy Howe

Director of Computing Facilities: Dean Krafft
Systems Administrative Assistant: Cay Wilson
Systems Administrative Assistant: Mona Seamon

Network Technician: Bruce Boda
Network Technician: John Finley
Lead Consultant: Ellen Cramer/Jennifer Holleran
Consultant/Advisor: Eric Brinkman
Consultant/Advisor: Rob Collins
Consultant/Advisor: Robert O'Keeffe
Consultant/Advisor: Joseph McGuire
Senior Programmer/Analyst: Ellen Cramer
Senior Programmer/Analyst: Doug Flanagan
Senior Programmer/Analyst: Larry Parmelee
Programmer/Analyst: Dora Abdullah
Programmer/Analyst: Orlando Johnson
Programmer/Analyst: Dean Eckstrom
Info Tech Area Manager: William Holmes
Multimedia Editor: Una Moneypenny

Departmental Computing Facilities

The department makes use of a mix of computing platforms, with about three-quarters of our research and instructional computing taking place on Microsoft's Windows NT/2000 operating system and Intel Architecture processors and the remaining quarter on Unix desktop and back-end servers. We have benefited greatly over the last year from several major equipment donations: Intel donated 25 1.5GHz Pentium 4 workstations and a server to upgrade our undergraduate teaching laboratory; Intel also donated 20 1.4GH Pentium 4 systems for research; and we have received 30 PocketPC-based PDAs, 802.11b wireless access cards, software, training, and books from Microsoft Corporation.

In the area of improved and upgraded infrastructure, during the past year, we:

Began the transition of our pilot 802.11b wireless networking infrastructure (Nomad) to a full service (RedRover) run by Cornell Information Technologies. The new infrastructure will provide close to 100 access points across campus when it is officially released at the beginning of the fall 2001 semester.
Completed a major upgrade of departmental servers and desktop systems from Windows NT to Windows 2000, including an upgrade of our Exchange mail system from Exchange 5.5 to Ex- change 2000.
Added a new Linux Beowulf cluster with 12 1.2GHz AMD Athlon Thunderbird processors, and expanded two existing Linux clusters: one with an additional 40 processors and the other with 350GB of disk.
Expanded departmental Linux support with three new Linux backend servers (CVS support, Apache/MySQL/PHP, and general Linux) and full support for RedHat Linux on research and teach- ing systems.

The department has over 1000 computers ranging from desktops to high-end parallel processing servers, over three terabytes of on-line disk storage, and a backbone network based on switched Gigabit Ethernet.

The department has a full-time computing facilities staff of fifteen. Dean Krafft serves as director, with programming support provided by Dora Abdullah, Jennifer Holleran, Dean Eckstrom, Doug Flanagan, Bill Holmes, Orlando Johnson, and Larry Parmelee; web development provided by Una Moneypenny; hardware support by John Finley and Bruce Boda; user consulting support by Rob Collins, Joseph McGuire, and Eric Brinkman; and systems administration by Cay Wilson and Mona Seamon. The staff provides full support for all the operating systems and standard software on our major computing platforms.

In addition to the resources directly owned and operated by the department, computer science students and researchers have access to a number of university facilities. The university provides extensive campus-wide networking, based on the TCP/IP protocols and implemented through a switched Gigabit Ethernet backbone connecting organizational Ethernets. National and international access is provided by three OC3 connections to NYSERNet and the global Internet. High-speed community access is available through Time-Warner's RoadRunner cable modem system and several DSL providers.

The department operates an undergraduate teaching laboratory of 15 Intel-donated 300MHz Pentium II systems, 30 Intel-donated 450MHz Pentium III systems, 30 Intel-donated 866MHz Pentium III systems, and 25 Intel-donated 1.5GHz Pentium 4 systems, all running Microsoft's Windows 2000. This lab provides support for a wide range of upper-level undergraduate courses and individual research projects. There is also a separate graphics teaching laboratory with 25 HP Visualize fx6+ workstations.

Finally, through the Cornell Theory Center and the Program of Computer Graphics, computer science researchers have access to a wide range of advanced parallel processing and supercomputer systems as well as advanced graphics and visualization systems.

The following list includes major computing equipment in the Department of Computer Science, owned either by Cornell or by the federal government.

Desktop Machines

10 Sun SunRay
214 Intel Pentium II Desktop PC
19 SUN UltraSparc 10
247 Intel Pentium III Desktop PC
4 SUN UltraSparc 5
46 Intel Pentium 4 Desktop PC
4 Apple G3/G4 PowerBook
5 Intel Celeron Desktop PC
3 Apple G3/G4 workstation
39 Intel Pentium II Laptop PC
25 HP VisualizeX 600MHz PIII
38 Intel Pentium III Laptop PC
1 SGI O2
128 Intel Celeron-based Laptop PC

Back-end Resources

9 Sun Ultra Enterprise 420/450 quad-processor

1 45-node Linux PIII dual-proc. cluster servers

5 Dell quad-processor Pentium III servers

2 SUN Ultra Enterprise 250 dual-processor servers 3 Intel quad-processor Pentium II servers

4 SUN Sparc-20/514 four-processor compute servers
4 Dell 8-way Pentium III servers
1 3.8TB SUN tape library
15 Intel Pentium III servers
1 12-node AMD 1.2GHz Athlon Beowulf cluster
3 Linux Pentium III servers

Other Hardware

9 Color Laser Printers
2 Cisco Catalyst 5000/5500 Fast Ethernet switches
57 B&W Laser Printers (HP/ Lexmark)
34 Cisco Catalyst 29xx Fast Ethernet switches
2 HP DesignJet 2500 poster printers
1 Cisco Catalyst 6509 Gigabit Ethernet switch
130 WindowsCE handheld/palm devices
7 Cisco Catalyst 1900 10/100 Ethernet switches

Colloquium and Seminar Speakers

August 2000
David Mermin, Dept. of Physics, Cornell University. How Quantum Mechanics Alters the Nature of Computation.

Rajit Manohar, Dept. of ECE, Cornell University. Low Energy Adaptive Process.
Charles Holland, AFRL/Cornell Information Assurance
Institute (IAI) Inaugural Lecture. Programs, Policy and Politics - Science and Technology in the National Interest.
Rich Caruana, Computer Science Department, Carnegie Mellon University. Multitask Learning Schedule.
Siddhartha Chatterjee, CS Dept., Univ. of N. Carolina. Fast Tree-Structured Computations and Memory Hierarchies Schedule.

Paul Edwards, Dept.of History, Univ. of Michigan, Joint CS and Science and Technology Studies Colloquium. Systems, Networks, and Webs: Towards a History of Digital Convergence.
Divesh Srivastava, AT&T LabsResearch. Querying LDAP Directories Schedule.
Eva Tardos, CS Dept., Cornell University. How Bad is Selfish Routing?
Ambuj Goyal, IBM. Transactional Internet.

Herbert Van de Sompel, Ghent University, Belgium. SFX/OpenURL and the Open Archives Inititive: Achieving Interoperability in Digital Libraries via Low-barrier Standards.
Tony Hey, University of Southampton, UK. Feynman, Einstein, and Computers.
Jeanna Neefe Matthews, Clarkson University. Self-managing File Systems.
Daniel Mosse, University of Pittsburgh. Towards a View of Efficient Softer Real-time.
Frans Kaashoek, MIT/LCS. How to Design Flexible Software Systems or Applying the End-to-end Argument.

January 2001
Balachander Krishnamurthy, AT&T LabsResearch. What's New in Web Research?

Mark Heinrich, School of Electrical and Computer Engineering, Cornell University. Simulation vs. Reality: The Importance of Building Hardware.
Stu Feldman, IBM, T. J. Watson Research Center. Trends in E-Commerce and Challenges for Research.
Greg Morrisett, Computer Science, Cornell University. Towards Next-Generation Low-Level Languages.
Herbert Van de Sompel, Ghent University, Belgium. The OpenURL Framework for the Context-sensitive Provision of Service Links.

Jayavel Shanmugasundaram, University of Wisconsin. XPERANTO: Bridging Relational Technology and XML.
Venkatesan Guruswami, MIT. List Decoding Of Error-Correcting Codes.
Junghoo Cho, Stanford University. Crawling the Web: Discovery and Maintenance of Large-Scale Web.
Alexander Hartemink, MIT. Principled Computational Methods for the Validation and Discovery of Genetic Regulatory Networks from Expression Data.
Dieter van Melkebeek, Institute for Advanced Study. Time-Space Tradeoffs for Satisfiability.

Paul Ginsparg, Los Alamos National Laboratory. Creating a Global Knowledge Network.
Andris Ambainis, UC, Berkeley. Lower Bounds on Quantum Computing.
Radu Rugina, MIT. Program Analysis Techniques for Pointers and Accessed Memory Regions.
Peter Manolios, University of Texas. Combining Theorem Proving and Model Checking for the Verification of Reactive Systems.
Thorsten Joachims, GMD. The Maximum-Margin Approach to Learning Text Classifiers Methods, Theory, and Algorithms.
Jovan Popovic, CMU. Motion Design in Computer Animation.
Yacov Yacobi, Microsoft Corp. Information Assurance Institute Invited Speaker. A Dual Watermarking and Fingerprinting System.
Igor Guskov, Caltech. Meshes and Geometry Processing.


Richard Han, IBM Watson. Interacting Devices, Applications, and Users In a Pervasive Computing World.