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.
Departures
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.
Changes
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.
Professors
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
Lecturers
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.
September
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.
October
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.
November
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?
February
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.
March
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.
April
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.
May
Richard Han, IBM Watson. Interacting Devices, Applications, and Users
In a Pervasive Computing World.