Computing Surveys (Schneider, Editor)
Transactions on Programming Languages and Systems (Morrisett,
(Hopcroft, Editor and Member, Executive Committee)
of Software Engineering (Schneider, Editor)
of Mathemathics (Selman, Editorial Board)
Mathematics Letters (Coleman, Editorial Board)
Intelligence Journal (Halpern; Selman, Editorial Board)
Journal of Theoretical Computer Science (Tardos, Editor; Halpern,
on Applied Non-linear Analysis (Coleman, Editorial Board)
Geometry: Theory and Applications (Kedem, Guest Editor)
Linguistics (Lee, Editorial Board)
Optimization and Applications (Coleman, Editorial Board)
An International Journal (Selman, Editorial Board)
Magazine (Arms, Editor-in-chief)
Mathematics and Theoretical Computer Science (Pingali, Editorial
Computing (Schneider, Editor)
Methods in System Design (Constable, Editor)
Informaticae (Hartmanis, Editor)
Integrity Systems (Schneider, Editor)
Transactions on Signal Processing (Hemami, Associate Editor)
and Computation (Halpern, Editorial Board)
Processing Letters (Schneider, Editor)
Sciences (Hopcroft, Associate Editor)
Journal of Computational Geometry and Applications (Hopcroft,
Journal Parallel Programming (Pingali, Editorial Board)
of Logic and Computation (Constable, Editor)
of Computer and Systems Sciences (Hartmanis, Hopcroft, Editors;
Hopcroft, Associate Editor )
of Functional Programming (Morrisett, Editor)
of Global Optimization (Vavasis, Editorial Board)
of Interconnection Networks (Tardos, Editor)
of Logic and Computation (Constable, Halpern, Editorial Board)
of Scheduling (Shmoys, Associate Editor)
of Symbolic Computation (Constable,
of the ACM (Halpern, Editor-in-chief)
of Theoretical Computer Science
Learning (Cardie, Editorial Board; Lee, Editorial Board)
Modeling and Scientific Computing
(Coleman, Editorial Board)
Programming (Vavasis, Editorial Board, Shmoys, Tardos, Associate
of Operations Research(Tardos, Area Editor, Shmoys, Associate
Series on Digital Libraries and Electronic Publishing (Arms, Series
Language Semantics (Rooth, Editorial Board)
Recognition Society Journal (Chew, Kedem, Editorial Board)
Journal on Computing (Shmoys, Tardos, Editors)
Journal on Discrete Mathematics (Shmoys, Editor-in-chief)
Journal of Matrix Analysis Applications (Vavasis, Editorial Board)
Series on Optimization (Shmoys, Co-editor)
Review (Vavasis, Editorial Co-editor)
Lecture Notes in Computer Science (Hartmanis, Editor)
Texts and Monographs in Computer Science (Schneider, Co-managing
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.
(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.
(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
Seshadri has resigned and will remain at Microsoft, where he has been
on leave for the last two years.
von Eicken has resigned and will remain at Expertcity.com, where he
has been on leave for the last two years.
Hartmanis becomes emeritus, effective July 1, 2001.
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.
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.
Kenneth P. Birman
Thomas F. Coleman
Robert L. Constable
John E. Hopcroft
Daniel P. Huttenlocher
Keshav K. Pingali
David B. Schmoys
Fred B. Schneider
Senior Research Associates
L. Paul Chew
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
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
and Technical Staff
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 Manager: Claudia Wojcinski
Representative: Carol Ayer
Assistant: Laura Kratochvil
Coordinator: Amy DeVaul
Coordinator: Bonnie McCarthy
Assistant Director of Graduate Programs: Becky Stewart
Engineering Program Coordinator: Stephanie Meik
Undergraduate Education Program
Assistant Director of Undergraduate Programs: Daniel Jenkins
and Records: Nicole Roy/Anna Salter
Karla Consroe/Linda Competillo
Karla Consroe/Tammy Howe
Director of Computing
Facilities: Dean Krafft
Administrative Assistant: Cay Wilson
Administrative Assistant: Mona Seamon
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
Editor: Una Moneypenny
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
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.
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.
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
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
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.
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.
list includes major computing equipment in the Department of Computer
Science, owned either by Cornell or by the federal government.
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
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
9 Color Laser
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
and Seminar Speakers
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
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
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
Frans Kaashoek, MIT/LCS. How to Design Flexible Software Systems or
Applying the End-to-end Argument.
Balachander Krishnamurthy, AT&T LabsResearch. What's New in Web
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
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
Dieter van Melkebeek, Institute for Advanced Study. Time-Space Tradeoffs
Paul Ginsparg, Los Alamos National Laboratory. Creating a Global Knowledge
Andris Ambainis, UC, Berkeley. Lower Bounds on Quantum Computing.
Radu Rugina, MIT. Program Analysis Techniques for Pointers and Accessed
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.