CIS Faculty and Researchers Profiles

CIS Faculty and Researchers

>>
Stuart Allen
Research Associate
sfa@cs.cornell.edu
http://www.cs.cornell.edu/Info/People/sfa/
Stuart Allen received a bachelor’s degree in computer science from the University of New Orleans in 1978, and a Ph.D. in computer science from Cornell University in 1987.

Allen’s principal interest is in making computer-manipulable formal data an adjunct to, and ideally a medium for, precise human expression, especially argument. This involves the design, justification, and employment of practical
formal systems and notations.

The bulk of his work has been in relation to the PRL project (http://www.nuprl.org), which has traditionally focused on constructive theory of types and proof by means of tactics. In addition to theory, application, and explanation of type
theory–based practice, he has been interested in formalizing and exploiting conventional mathematical notations, as well as the development of interfaces for user immersion in bodies of formal data.

Most recently, Allen’s efforts (as part of the PRL project) have been directed at designing methods for implementing digital collections grounded in formal material, especially proof, emphasizing theoretical neutrality and anticipating
the coexistence of material with distinct, possibly conflicting, formal bases, entailing the need for strict yet extensible logical accounting.

PUBLICATIONS
“Abstract identifiers, intertextual reference and a computational basis for record-keeping”. First Monday
9(2) (February ‘04). URL: http://firstmonday.org/issues/issue9_2/allen/index.html.
CIS

11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011
00000000000000000000000000000111110111010000001111000000000000000011001
11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011

>>
William Y. Arms
Professor
wya@cs.cornell.edu
http://www.cs.cornell.edu/wya

William Arms received his B.A. in mathematics from Oxford University (Balliol College) in 1966, and his M.Sc. (Econ.) from the London School of Economics in 1967. He obtained his doctorate (D.Phil.) in operational research from the
University of Sussex in 1973. He has been a CS professor since 1999.

Arms’s interests concentrate on Web information systems, digital libraries, and electronic publishing. These fields integrate methods from many disciplines, so that the work ranges from technical topics, such as distributed computing
and information representation, to the economic and social aspects of change. His book, Digital Libraries, was published by the M.I.T. Press in winter 2000. He is the principal investigator of a major grant to build the core system for the NSF’s new digital library for science, mathematics, engineering, and technology education. This is one of the largest and most heterogeneous digital libraries yet attempted.

Professor Arms is co-director of Cornell’s new Information Science Program.

PUBLICATIONS
“Mixed Content and Mixed Metadata: Information Discovery in a Messy World”. In Metadata in Practice
(D. Hillmann and E. Westbrooks, eds., to be published by ALA Editions in 2004). (With C. Arms)
“A Case Study in Metadata Harvesting: the NSDL”. Library Hi Tech 21(2) (2003). (With N. Dushay, D. Fulker,
and C. Lagoze).

LECTURES
“Free Access to Information Today. Who Benefits? What are the Risks? Who Pays?”. Keynote address,
Association of Learned and Professional Society Publishers, London (April 4, 2003).

PROFESSIONAL ACTIVITIES
Member, Management Board, M.I.T. Press.
Series Editor, M.I.T. Press Series on Digital Libraries and Electronic Publishing.
Member, National Research Council, Public–Private Partnerships in the Provision of Weather and Climate
Service.
Member, Program Committee, Joint Conference on Digital Libraries.

UNIVERSITY ACTIVITIES
Co-director, Information Science Program.
Director, eCornell.
Member, Cornell University Library Board.
Member, Faculty Senate.

>>
Graeme Bailey
Professor
bailey@cs.cornell.edu
http://www.cs.cornell.edu/~bailey

Originally working in low-dimensional topology and combinatorial group theory, through an odd mixture of circumstances Dr. Bailey has become actively involved in research in mathematics and medicine. One of two ongoing research projects in this area is the modeling of lung inflation, together with a research group at the Class One Trauma Center at the Upstate Medical University, Syracuse, New York. This is in the early stages of a program to extend to various pathologies affecting elasticity and aimed towards effective clinical treatments. The group, having made some significant advances in answering questions that had remained unsolved for more than thirty years, is now in the process of trying to obtain reliable mathematical models. This involves building computer simulations of dynamic-packing results under constrained perturbations and deformations. The other project is in understanding deformations of transmembrane proteins used in cell-signaling processes. This is a carefully constrained version of the protein-folding problems that have been exciting the mathematical biology community in recent years; the application of a topological viewpoint in collaborating with molecular pharmacologists and structural biologists has already yielded some intriguing insights.

He is also becoming more actively involved again in the areas of digital music, exploiting his twin areas of professional expertise in an area he first worked at half a lifetime ago.

PROFESSIONAL ACTIVITIES
Member, Selection Committees: Rhodes, Marshall, Churchill, and Fulbright Fellowships.
Member, Board of Directors of Engineers for a Sustainable World.
Member, Advisory Board, Cornell University Research in Engineering (CURIE).

UNIVERSITY ACTIVITIES
Adjunct Professor, Mathematics.
Director, Computer Science Master of Engineering Program.
Faculty Advisor, Judo Club; Cornell Lunatics.
Member, Baccalaureate Review Committee.
Member, Cornell University Emergency Medical Service.
Member, Faculty Committee for Residence Life.
Member, Faculty Committee on Music.
Member, General Committee of the Graduate School.
Member, Health Careers Advisory Board Committee.
Member, Master of Engineering Committee.
Member, Transition Committee, West Campus Housing Initiative.
Risley Faculty Fellow.

AWARDS AND HONORS
ACSU Faculty of the Year, 2004.
Kendall S. Carpenter Memorial Advising Award, 2002.
Kenneth A. Goldman ’71 Excellence in Teaching Award, 2000.
ACSU Faculty of the Year, 2000.

11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011
00000000000000000000000000000111110111010000001111000000000000000011001
11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011

>>
Kenneth P. Birman
Professor
ken@cs.cornell.edu
http://www.cs.cornell.edu/ken/

Ken Birman obtained a bachelor’s degree in computer science at Columbia University in 1978 and a Ph.D. in computer science at the University of California at Berkeley in 1981. He joined the CS faculty in 1982.

Birman’s research is concerned with reliability and security in modern networked environments. In past work on the Isis system, his software became a central part of the New York Stock Exchange and Swiss Stock Exchange (in both settings, Isis runs the core messaging component used to distribute new stock quotes and information about trades reliably and securely), the French air-traffic control system (Isis is used to keep clusters of three to five controller workstations synchronized, and handles failures), the U.S. Navy’s Aegis warship’s radar system, and other mission-critical computer networks.

Birman’s current research focuses on the development of Quicksilver, a platform supporting massively scalable distributed applications (see http://www.cs.cornell. edu/projects/quicksilver.htm). For example, Quicksilver will be used to build several kinds of publish–subscribe functionality. Whereas conventional publish–subscribe systems get fragile and slow with even a thousand users, Quicksilver-based solutions should be able to support tens of thousands of publishers and subscribers and hundreds of thousands of publication topics. Key to the approach is the use of new kinds of scalable distributed computing infrastructure tools that employ probabilistically reliable epidemic (gossip) protocols between peers to achieve stability even under stress that can cripple more standard protocols. Birman’s
group has developed several of these components, notably Bimodal Multicast, Astrolabe, and Kelips, and the hope is to unite them with virtual synchrony group communication protocols within an easily used but powerful network. The work is supported by DARPA under their new Self Regenerative Systems program (SRS).

Birman was named an ACM Fellow in 1999 and won the Stephen ’57 and Marilyn Miles Excellence in Teaching Award in 2000. He was editor in chief of ACM Transactions on Computer Systems from 1993 to 1997, and has served on a number of university committees, including the Responsible Conduct of Research Committee; the council of CIS faculty; the Engineering College Policy Committee; and the Internet Protocol (IP) Advisory Council for the Cornell Research Foundation.

PUBLICATIONS
Reliable Distributed Computing: Technologies, Web Services, and Applications. [forthcoming (target: November 2004)]. Springer-Verlag.
“Kache: Peer-to-peer Caching Using Kelips”. [submitted to ACM Transactions on Information Systems
(TOIS), June, 2004]. (With P. Linga and I. Gupta).
“Adding High Availability and Autonomic Behavior to Web Services”. In Proceedings of the Twenty-sixth
Annual International Conference on Software Engineering (ICSE 2004). May 23–28, 2004. Edinburgh.
Scotland. (With R. van Renesse and W. Vogels).
“Astrolabe: A Robust and Scalable Technology for Distributed System Monitoring, Management, and Data
Mining”. ACM Transactions on Computer Systems 21(2): 164–206. May, 2003. (With R. van Renesse and
W. Vogels).
“Bimodal Multicast”. ACM Transactions on Computer Systems 17(2): 41–88. May, 1999. (With M. Hayden,
O. Ozkasap, Z. Xiao, M. Budiu, and Y. Minsky).
“The Process Group Approach to Reliable Distributed Computing”. Communications of the ACM 36(12):
37–53. December, 1993.

PROFESSIONAL ACTIVITIES
Member, Program Committee, 2003 ACM Symposium on Operating Systems Principles.

UNIVERSITY ACTIVITIES
Chairman, Engineering College Facilities Strategic Planning Committee (2003).
Chairman, College of Engineering Facilities Task Force (2003).

AWARDS AND HONORS
Stephen and Marilyn Miles Excellence in Teaching Award, 2000.
ACM Fellow, 1998.

11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011
00000000000000000000000000000111110111010000001111000000000000000011001
11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011

>>
Martin Burtscher
Assistant Professor of the School of Electrical and Computer Engineering
and Member of the Graduate Field of Computer Science
burtscher@csl.cornell.edu
http://www.csl.cornell.edu/~burtscher/

Martin Burtscher received his Ph.D. degree in computer science from the University of Colorado at Boulder in 2000 and his B.S./M.S. degree in computer science from the Swiss Federal Institute of Technology (ETH) Zurich in 1996.
He is an assistant professor in ECE at Cornell. His research interests include high-performance microprocessor architecture, instruction-level parallelism, and compiler optimizations.

High-end microprocessors rely on a variety of predictors for good performance. Future CPUs (central processing units) will likely need even more predictors to meet the continuing demand for ever-faster processors. Designing, evaluating, and improving such predictors as well as the corresponding infrastructure is an important focus of Burtscher’s research.

Ongoing projects include adding compiler and software support to aid and simplify the prediction hardware, devising means to make microprocessors more energy efficient without compromising their performance, designing adaptive and self-optimizing hardware, studying superspeculative execution cores, devising novel compression approaches for program traces and messages in parallel MPI programs, and developing high-speed processor simulators.

PUBLICATIONS
“VPC3: A Fast and Effective Trace-compression Algorithm”. Proceedings of the Joint International
Conference on Measurement and Modeling of Computer Systems 167–176 (SIGMETRICS 2004) New York,
New York (2004).
“Compressing Extended Program Traces Using Value Predictors”. Proceedings of the 2003 International
Conference on Parallel Architectures and Compilation Techniques, Institute of Electrical and Electronics
Engineers (IEEE) Computer Society 159–169. New Orleans, Louisiana (2003). (With M. Jeeradit).

LECTURES
VPC3: A Fast and Effective Trace-compression Algorithm. Joint International Conference of the Special Interest Group on Measurement and Modeling of Computer Systems (SIGMETRICS 2004). New York, New York.
Low-power Load-value Prediction. Intel Corporation. Santa Clara, California.
Energy-efficient Load-value Predictors. Transmeta Corporation. Santa Clara, California.
Compressing Extended Program Traces Using Value Predictors. International Conference on Parallel Architectures and Compilation Techniques. New Orleans, Louisiana.
Techniques for Improving the Predictability of Critical Loads. Intel Corporation. Santa Clara, California.

PROFESSIONAL ACTIVITIES
Co-chair, Second Value-prediction and Value-based Optimization Workshop.
Guest Editor, Journal of Instruction-level Parallelism.
Reviewer, ACM Transactions on Architecture and Code Optimization, IEEE Transactions on Parallel and
Distributed Systems, International Symposium on High-performance Computer Architecture, IEEE
Computer, Annual International Symposium on Microarchitecture, and International Conference on
Parallel Architectures and Compilation Techniques.

UNIVERSITY ACTIVITIES
Member, Computer Advisory Committee, ECE.

11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011
00000000000000000000000000000111110111010000001111000000000000000011001
11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011

>>
Claire Cardie
Associate Professor
cardie@cs.cornell.edu
http://www.cs.cornell.edu/home/cardie/

Claire Cardie obtained a B.S. in computer science from Yale University in 1982 and an M.S. and Ph.D. in computer science at the University of Massachusetts at Amherst in 1994. She has been a CS faculty member at Cornell since 1994.

Cardie’s research is in the areas of natural language processing and machine learning. In particular, her group has focused both on building systems for largescale natural language processing tasks like information extraction, question answering, and multidocument summarization, and on developing corpus-based machine learning techniques to address underlying theoretical problems in syntactic and semantic analysis of natural language.

Cardie is a recipient of a CAREER award (1996–2000) and was program chair for the Second Conference on Empirical Methods in Natural Language Processing in 1997. She has been secretary of the Association for Computational Linguistics Special Interest Group on Natural Language Learning (1999–2001), and just
completed her second term as secretary of the North American Association for Computational Linguistics (2000–2003).

PUBLICATIONS
“Evaluating an Opinion Annotation Scheme Using a New Multiperspective Question and Answer Corpus”.
American Association for Artificial Intelligence (AAAI) Spring Symposium on Exploring Attitude and
Affect in Text, AAAI Press (2004). (With V. Stoyanov, J. Wiebe, and D. Litman).
“Weakly Supervised Natural Language Learning Without Redundant Views”. Human Language Technology
Conference of the North American Chapter of the Association for Computational Linguistics (HLT–NAACL
2003) 173–180. (With V. Ng).
“Bootstrapping Coreference Classifiers with Multiple Machine Learning Algorithms”. Proceedings of the
2003 Conference on Empirical Methods in Natural Language Processing (EMNLP 2003), Association for
Computational Linguistics (2003). (With V. Ng).
“Combining Low-level and Summary Representations of Opinions for Multiperspective Question Answering”.
2003 AAAI Spring Symposium on New Directions in Question Answering 20–27, AAAI Press (2003).
(With J. Wiebe, T. Wilson, and D. Litman).
“Recognizing and Organizing Opinions Expressed in the World Press”. 2003 AAAI Spring Symposium on New
Directions in Question Answering 12–19, AAAI Press (2003). (With J. Wiebe, E. Breck, C. Buckley,
P. Davis, B. Fraser, D. Litman, D. Pierce, E. Riloff, T. Wilson, D. Day, and M. Maybury).

LECTURES
“Machine Learning for Noun Phrase Coreference Resolution”.
•Syracuse University, School of Information Studies (June 2004).
•IBM Watson Research Center (June 2004).
•General Motors, Detroit, Michigan (June 2004).
•University of Washington Department of Computer Science Colloquium, (January 2004).
•Xerox Research and Development Center, Webster, New York (January 2004).
•S.U.N.Y. at Buffalo Department of Computer Science Colloquium (December 2003).
•University of Pennsylvania Distinguished Lecture Series (December 2003).
“Noun Phrase Coreference Resolution”. Cornell Information Science Seminar (October 2003).

PROFESSIONAL ACTIVITIES
Secretary, North American Association for Computational Linguistics.
Action Editor, Journal of Machine Learning Research.
Member, Editorial Board, Journal of Artificial Intelligence Research.
Member, Editorial Board, Machine Learning.
Member, Executive Board, Special Interest Group of the Association for Computational Linguistics for Linguistic Data and Corpus-based Approaches to Natural Language Processing (NLP).
Member, Nominating Committee, North American Association for Computational Linguistics.
Member, Organizing Committee, AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications.
Member and Area Chair, Program Committee, Forty-second Annual Meeting of the Association for Computational Linguistics (ACL).
Member, Program Committee, Eighth International Conference on Computational Natural Language Learning.
Member, Program Committee, EMNLP.
Member, Program Committee, Tenth ACM Special Interest Group on Knowledge Discovery and Data Mining
(SIGKDD) International Conference.
Member, Program Committee, ACL–2004 Workshop on Reference Resolution and its Applications.
Reviewer, Computational Linguistics.
Reviewer, Cognitive Systems

UNIVERSITY ACTIVITIES
Co-director, Information Science Program.
Director, Undergraduate Studies, Information Science (Colleges of Arts and Sciences, and Agriculture and Life Sciences).
Co-director, Undergraduate Studies, Information Science, Systems, and Technology.
Member, Computing and Information Science Council.
Member, Chair Search Committee, Computer Science.
Board Member, Cornell Presidential Research Scholars.
Member, Provost’s Advisory Group of Women in Science and Engineering.
Member, College Scholar Advisory Board.
Member, Independent Major Advisory Board.
College Scholar Advisor.

AWARDS AND HONORS
CAREER award (1996–2000).
Lilly Teaching Fellow, Cornell University (1996–1997).
Ralph S. Watts College of Engineering Excellence in Teaching Award, Cornell University (1996).
Graduate Fellow, University of Massachusetts (1993–1994).
Massachusetts Regents Fellowship, University of Massachusetts (1992–1993).
Best Written Paper Award, Ninth National Conference on Artificial Intelligence, Honorable Mention (1991).

>>
Rich Caruana
Assistant Professor
caruana@cs.cornell.edu
http://www.cs.cornell.edu/~caruana

Rich Caruana obtained his Ph.D. in computer science from Carnegie Mellon University in 1998. Currently he is an assistant professor in CS, where he does research in machine learning and data mining. His current focus is on
ensemble learning, inductive transfer, adaptive clustering, learning rankings, and applications of these learning methods to problems in medical decisionmaking and bioinformatics.

Inductive transfer is a subfield of machine learning where better performance is achieved by learning many related problems at the same time—it is easier to learn 100 related problems together than to learn any one of them in isolation. Caruana helped create this subfield of machine learning by publishing the first paper on multitask learning more than ten years ago.

Learning rankings is an exciting area in machine learning where the goal is not to predict a classification or value for an item, but to predict an ordering for a set of items. Caruana is developing algorithms that learn rankings for problems in medical decision-making where it is difficult to assess absolute risk for any given patient, but easier to learn to order patients by relative risk. One method he developed to learn rankings outperformed a dozen other machine learning methods in a large multi-institutional pneumonia-risk prediction project.

In 2000–2001 Caruana led a team of researchers that developed the first automated system for the early detection of bioterrorist releases of anthrax. The system applies data mining to consumer purchases in supermarkets to look
for unexplained increases in the sales of products such as cough syrup that may signal the onset of symptoms from a recent attack. Because consumers tend to self-medicate using easily available products such as cough syrup and throat lozenges before consulting physicians, the system can detect the onset of flu-like symptoms twenty-four to forty-eight hours before these can be detected by visits to hospitals and doctors offices.

Caruana’s work in ensemble learning and clustering are new focuses for him. His interest in clustering arose from limitations he discovered when applying traditional clustering methods to a protein-folding problem. Caruana recently
received a CAREER award to pursue this research in clustering. The research in ensemble learning arose from an empirical comparison of machine-learning methods he and students were performing where an ensemble of different
learning methods outperformed ensembles of any individual learning methods. The ensemble selection method they are developing may be the first highperformance machine-learning method that can be optimized to almost any
performance metric.

A theme that runs through all of Professor Caruana’s work is the importance of developing methods that are effective on real-world problems. He likes to mix algorithm development with applications work to insure that the methods he
develops are useful in practice.

PUBLICATIONS
“Learning from Libraries of Models with Ensemble Selection”. 2004 International Conference on Machine
Learning (ICML). (With A. Niculescu, G. Crew, and A. Ksikes).
“Evaluating the C-section Rate of Different Physician Practices: Using Machine Learning to Model Standard
Practice”. In Proceedings of the American Medical Informatics Association Conference (November 2003).
(With S. Niculescu, B. Rao, and C. Simms).

LECTURES
Invited Speaker, Williams College, Williamstown, Massachusetts (April 2004)
Invited Speaker, University of Edinburgh, Scotland (May 2003).
Invited Speaker, AAAI Workshop on Learning from Imbalanced Data. “Methods for Learning from
Imbalanced Data” (July 2000).
Invited Speaker, University of Skovde, Sweden (December 1994).

PROFESSIONAL ACTIVITIES
Co-chair, KDD–CUP for the 2004 ACM SIGKDD International Conference.
Area Chair, Advances in Neural Information Processing Systems (NIPS) (December 2003).
Area Chair, ICML (July 2003).
Member, Program Committee for International Conference on Data Mining (ICDM) (2003).
Member, Program Committee for the 2003 ACM SIGKDD International Conference.
Member, Program Committee, American Medical Informatics Association (AMIA) Conference (2003).
Co-chair of Workshops, Advances in Neural Information Processing (1999, 2000).

AWARDS AND HONORS
CAREER award, May 2004.
Invited speaker, Williams College, April 2004.
Nomination for Best Paper: “Evaluating the C-section Rate of Different Physician Practices: Using Machine
Learning to Model Standard Practice”. AMIA Conference (November 2003). (With S. Niculescu, B. Rao, and C. Simms).
Award for Outstanding Contribution to Research, Philips Labs, 1988.

>>
L. Paul Chew
Senior Research Associate
chew@cs.cornell.educhew@cs.cornell.edu
http://www.cs.cornell.edu/Info/People/chew/chew.html

Paul Chew received his Ph.D. in computer science from Purdue University in 1981. He served as a faculty member at Dartmouth College until 1988 when he joined CS at Cornell as a senior research associate.

Chew’s primary research interest is in geometric algorithms with an emphasis on practical applications. These practical applications have included placement, motion planning, shape comparison, vision, sensing, mesh generation, molecular matching, and protein shape–comparison. The work on protein shape–comparison has been used as part of the evaluation scheme for CAFASP (Critical Assessment of Fully Automated Structure Prediction), a “competition” held every two years to evaluate the performance of fully automatic servers for protein-structure prediction. Chew developed “backwards analysis”, a method now widely-used for analyzing randomized algorithms. Chew’s work on mesh generation has been motivated by the finite element method, a technique for finding approximate solutions to partial differential equations. The first step of this method is to create a mesh, i.e. to divide the given problem region into simple shapes called elements. For complex geometries, mesh generation can be difficult. Chew has developed methods for automatically generating a high-quality mesh. This work is being used in a large, multidisciplinary project: developing adaptive software for field-driven simulations.

Chew is an associate editor for the Journal of the Pattern Recognition Society. He is also a member of the steering committee for the International Meshing Roundtable.

PUBLICATIONS
“Finding the Consensus Shape for a Protein Family”. Algorithmica 38(1) (2004). (With K. Kedem).
“Computational Science Simulations Based on Web Services”. International Conference on Computational
Science (2003). (With N. Chrisochoides, S. Gopalsamy, G. Heber, T. Ingraffea, E. Luke, J. Neto,
K. Pingali, A. Shih, B. Soni, P. Stodghill, D. Thompson, S. Vavasis, and P. Wawrzynek).

>>
Thomas F. Coleman
Professor
Director, Cornell Theory Center
Director, CTC–Manhattan
coleman@cs.cornell.edu
http://www.tc.cornell.edu/~coleman/

Thomas F. Coleman obtained his bachelor’s degree in mathematics in 1975, and his master’s in mathematics in 1976, both from the University of Waterloo. He received a Ph.D. in mathematics from Waterloo as well, in 1979. He is currently a professor of computer science and applied mathematics at Cornell, and also the director of both the CTC—a center for the support of large-scale computational science, and CTC– Manhattan, a computational finance consulting center in New York City.

With colleagues Shirish Chinchalkar, Yuying Li, Peter Mansfield, and Cristina Patron, Coleman is developing a variety of tools and methods for computational finance in the areas of portfolio management and options pricing (and hedging). Several Ph.D. students in the Center for Applied Mathematics are also involved in this work: Jay Henniger, Dimitry Leuchenkov, Siddharth Alexander, Katharyn Boyle, and Changhong He. In their most recent academic work: “Derivative Portfolio Hedging Based on CvaR”, an efficient new way to hedge large portfolios of derivative instruments is proposed.

Coleman’s specific interests include the computation of implied volatility surfaces from option prices, hedging techniques, index tracking, portfolio optimization, and the use of parallel computing techniques in computational finance.

Professor Coleman is a member of both the admissions committee and the program committee for the Center for Applied Mathematics. He is the author of two books on computational mathematics, the editor of four proceedings, and has published more than sixty journal articles. He was chair of the Society for Industrial and Applied Mathematics (SIAM) Activity Group on Optimization (1998–2001) and is on the editorial board of numerous professional journals.

PUBLICATIONS
“Hedging Guarantees in Variable Annuities (Under Both Market and Interest Rate Risks)”. Fourteenth Annual
Derivative Securities and Risk Management Conference, New York (April 23–24, 2004).
(With Y. Li and M. Patron)
“Derivative Portfolio Hedging Based on CvAR”. In Risk Measures for the Twenty-first Century (G. Szegö, ed.)
339–363, Wiley (2004). (with S. Alexander and Y. Li)
“An Object-oriented Framework for Valuing Shout Options on High-performance Computer Architectures”.
Journal of Economic Dynamics and Control 27(6): 1133–1161 (2003). (With H. Windcliff, K. Vetzall,
P. Forsyth, and A. Verma)
“Discrete Hedging Under Piecewise Linear Risk Management”. Journal of Risk 5: 39–65 (spring 2003).
(With M, Patron and Y. Li)

LECTURES
Financial Engineering on Computational Clusters, University of Hong Kong, Hong Kong (May 14, 2004).
Microsoft–TGINet Seminar on Finance, Tokyo (May 12, 2004).
Clusterworld Conference and Expo 2004, San José, California (April 2004).
Fast Portfolio Calculations, on a Cluster, using Web Services. Hedge Funds World, New York, New York (March 29, 2004).
New Directions for the Efficient and Accurate Computation of Value-of-risk for a Portfolio of Complex Derivatives,
Global Association of Risk Professionals 2004, New York (February 23–26, 2004).
Cluster Computing for Risk Management and Financial Engineering, FIST Global, Seoul, Korea (December 10, 2003).
Cluster Computing for Risk Management and Financial Engineering, Professional Risk Manager’s International
Association, Paris (March, 2003).

PROFESSIONAL ACTIVITIES
Director, CTC–Manhattan (formerly Financial Industry Solutions Center).
Member, International Visiting Committee, Computational Finance Engineering Program, National University
of Singapore (2004–).
Member, High-performance Computing Advisory Committee to the Council on Competitiveness
(2004–2007).
Co-organizer, The Fourteenth Derivatives Securities Conference, New York, New York (April 26–27, 2004).
Member, Editorial Board, Computational Optimization and Applications (1992–).
Member, Editorial Board, Applied Mathematics Letters (1989–).
Referee and/or reviewer for numerous professional journals.

UNIVERSITY ACTIVITIES
Director, Cornell Theory Center.

>>
Robert Constable
Professor
Dean of the Faculty of Computing and Information Science
rc@cs.cornell.edu, cis-dean@cornell.edu
http://www.cs.cornell.edu/home/rc/

Robert Constable is the dean of the CIS Faculty and a professor in CS. He obtained his Ph.D. in mathematics from the University of Wisconsin in 1968. He served as CS chair from 1994 to 1999. He was also acting chair from 1993 to 1994.

Constable’s research has focused on building a system called a logical programming environment (LPE). It provides substantial automation in the design, coding, verification, and evolution of large software systems. Generally an LPE will integrate programming languages and logics. In his group’s case, they integrate the ML programming language and a programming logic based on type theory.

Reasoning about ML programs is founded on type theoretic semantics for ML. The LPE also integrates a compiler, a theorem prover, and a formal digital library. Constable’s group uses the latest version of Nuprl as the prover. He is also working with others to build a formal digital library that will allow interactive access to theorems and proofs from Nuprl, MetaPRL, HOL, PVS and other major theorem provers. The Library includes more than ten thousand theorems.
Many of these are used in system verification, but a large number are from general mathematics. These general theorems are a valuable resource. The group is funded by the Office of Naval Research (ONR) to further develop and explore the concept of a formal digital library of constructive mathematics built around these theorems. Their theorem provers are used in a variety of other projects as well, including the creation of formal courseware by S. Allen, the translation of formal proofs into natural language by Amanda Holland-Minkley, the automatic analysis of the computational complexity of higher-order programs by Ralph Benzinger, and efficient reflection being designed and implemented by Eli Barzilay.

Constable is the director of the PRL Project; a member of the Cognitive Studies executive committee; the applied math policy committee; and the general committee for the IEEE Conference on Logic in Computer Science (LICS). He serves as editor for Journal of Logic and Computation and Formal Methods in System Design.

PUBLICATIONS
Expressing and Implementing the Computational Content Implicit in Smullyan’s Account of Boolean Valuations (2003). (With S. Allen and M. Fluet).
“Information-intensive Proof Technology and Computation”. Springer-Verlag Lecture Notes for the Marktoberdorf NATO Summer School (2004).
“MetaPRL—A Modular Logical Environment”. In Proceedings of the Sixteenth International Conference on
Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science 2758: 287–303 (D. Basin
and B. Wolff, eds.), Springer-Verlag (2003). (With J. Hickey, A. Nogin, B. Aydemir, E. Barzilay, and
L. Lorigo).
“Practical Reflection in Nuprl”. In Eighteenth Annual IEEE Symposium on Logic in Computer Science
(P. Kolaitis, ed.), Ottawa, Canada (June 22–25, 2003). (With E. Barzilay and S. Allen).
“Recent Results in Type Theory and Their Relationship to Automath”. In Thirty-five Years of Automating
Mathematics, (F. Kamareddine, ed.) 1–11, Kluwer Academic Publishers (2003).

PROFESSIONAL ACTIVITIES
Member, Advisory Council, Computer Science Department, Princeton University.
Chairman, Advisory Board, Computer Science Department, University of Chicago.
Editor: Journal of Logic and Computation; Formal Methods in System Design; The Computer Journal.
Director, NATO Summer School, Marktoberdorf, Germany.
Member, General Committee, LICS.
Member, Computing Research Association Board.

UNIVERSITY ACTIVITIES
Dean, Computing and Information Science.
Member, Applied Math Policy Committee and Cognitive Studies Executive Committee.

AWARDS AND HONORS
ACM Fellow, 1995.
Guggenheim Fellow, 1991.
Cornell Outstanding Educator Award, 1989.

>>
Alan J. Demers
Professor
ademers@cs.cornell.edu
http://www.cs.cornell.edu/annual_report/00-01/bios.htm#demers

Alan J. Demers received his bachelor’s degree in physics from Boston College in 1970. He obtained his Ph.D. degree in computer science from Princeton University in 1975. A CS professor, he has been at Cornell since 1982.
Prior to his arrival at Cornell, Demers worked for the Oracle Corporation as an architect, and at Xerox Parc in Palo Alto as a principal scientist.

Demers’ research concerns aspects of databases and distributed systems. As part of the Cougar Project, he is studying “sensor database systems” using novel forms of in-network processing to do energy-efficient query processing over sensor networks. With Johannes Gehrke, Mirek Riedewald, and others, he is studying streamprocessing databases. The group is studying efficient query evaluation and multi-query optimization for extensions of publish–subscribe systems. It is also considering the formal underpinnings of such systems, developing an algebra of events that can describe parameterization and aggregation. With Ken Birman, Johannes Gehrke, Robbert van Renesse, and others, he is studying randomized “gossip protocols”. Such protocols are highly fault tolerant, and, when properly designed, extremely scalable as well. The group is studying convergence properties of variants of the basic protocol tailored to specific application requirements. It is also investigating algorithms that maintain approximate group membership views with probabilistic guarantees against partitioning under “churn”.

PUBLICATIONS
“The Architecture of the Cornell Knowledge Broker”. In Proceedings of the Second Symposium on
Intelligence and Security Informatics (ISI 2004), Tucson, Arizona (June 2004). (With J. Gehrke and M. Riedewald).
“The Cougar Project: A Work-in-progress Report”. In SIGMOD Record 34(4) (December 2003). (With J. Gehrke, R. Rajaraman, N. Trigoni, and Y. Yao).
“Energy-efficient Data Management for Sensor Networks: A Work-in-progress Report”. Second IEEE Upstate New York Workshop on Sensor Networks, Syracuse, New York (October 2003). (With J. Gehrke, R. Rajaraman, N. Trigoni, and Y. Yao).

>>
Shimon Edelman
Professor of the Department of Psychology and Member of the Graduate Fields of Psychology, Computer Science, and Information Science
se37@cornell.edu
http://kybele.psych.cornell.edu/~edelman/

Shimon Edelman received his Ph.D. in computer science from the Department of Applied Mathematics and Computer Science at the Weizmann Institute, Rehovot, Israel, in 1988. He taught and conducted research at M.I.T., the Weizmann Institute, and at the University of Sussex (U.K.), before assuming his current position at Cornell.

Over the years, Edelman has taught courses and led seminars that matched his wide range of interests in cognitive sciences. His research in the past dealt with motor control, reading, perceptual learning, visual recognition and categorization, natural language processing and computational linguistics.

Edelman works on developing mathematical solutions to the problems at hand, on experimental assessment of these solutions as models of human cognition, and on bringing the theoretical understanding of cognition to bear on data from neurobiological studies of the brain. Publications stemming from this research appeared in journals ranging from computational (such as the IEEE Transactions on Pattern Analysis and Machine Intelligence) to empirical (Neuron), spanning the fields of vision (International Journal of Computer Vision; Vision Research) and language (Journal of Computational Linguistics; Journal of Linguistics). Edelman’s book, Representation and Recognition in Vision, was published by M.I.T. Press in 1999.

PUBLICATIONS
“Bridging Computational, Formal and Psycholinguistic Approaches to Language”. Proceedings of the Twenty-sixth Cognitive Science Society Conference, Chicago, Illinois. (August 2004). (With Z. Solan, D. Horn, and E. Ruppin).
“Unsupervised Context-sensitive Language Acquisition from a Large Corpus”. Proceedings of the 2003 NIPS
Conference 15. (L. Saul, ed.), M.I.T. Press (2004). (With Z. Solan, D. Horn, and E. Ruppin).
“Unsupervised Statistical Learning in Vision: Computational Principles, Biological Evidence”. Extended
abstract distributed to the participants of the European Conference on Machine Learning Workshop on
Statistical Learning in Computer Vision, Prague (May 2004). (With N. Intrator).
“Unsupervised Context-sensitive Language Acquisition from Large, Untagged Corpora”. AAAI Spring
Symposium on Language Acquisition, Stanford, California. (March 2004). (With Z. Solan, E. Ruppin, and D. Horn).
“Metric Category Spaces of Biological Motion”. Vision Sciences Society (May 2003). (With M. Giese and I. Thornton).
“Unsupervised Efficient Learning and Representation of Language Structure”. Proceedings of the Twenty-fifth
Cognitive Science Society Conference, Boston, Massachusetts. (July 2003). (With Z. Solan, D. Horn, and E. Ruppin).
“A New Vision of Language” [extended abstract]. Proceedings of the Twenty-fifth Cognitive Science Society
Conference, Boston, Massachusetts. (July 2003).
“Automatic Acquisition and Efficient Representation of Syntactic Structures”. Proceedings of the 2002 NIPS
Conference. 15 (S. Thrun, ed.), M.I.T. Press (2003). (With Z. Solan, E. Ruppin, and D. Horn).
“Towards Structural Systematicity in Distributed, Statically Bound Visual Representations”. Cognitive
Science 27: 73–110 (2003). (With N. Intrator).

LECTURES
On What It Could Mean To See, and What Could Be Done About It, Computation and Neural Systems
Program Colloquium, California Institute of Technology (March 2003).
A Vision of Language, NSF Workshop on Integrated Cognitive Science, Arlington, Virginia (October 2–3, 2003).
Unsupervised Acquisition of Context-sensitive Recursive Structure from Language-like Data, Biology Colloquium, C.U.N.Y. (December 2003).
Rich Syntax from a Raw Corpus: Unsupervised Does It, Conference on Neural Information Processing Systems Workshop on Syntax, Semantics, and Statistics, Whistler, British Columbia (December 2003).
Computational Principles for Unsupervised Learning in Vision (and in Language Acquisition), Engineering Colloquium, Brown University (March 2004).
Computational Principles for Unsupervised Learning in Vision, Special Psychology Colloquium, Stanford University (March 2004).
Unsupervised Statistical Learning in Vision: Computational Principles, Biological Evidence, ECCV–2004 Workshop on Statistical Learning in Computer Vision, Prague (May 2004).
Object Recognition and Categorization: Some Lessons from Psychophysics, Neurobiology, and Computer Vision, IEEE Conference on Computer Vision and Pattern Recognition (CVPR) 2004 Workshop on Generic Object Recognition, Washington, D.C. (June 2004).

PROFESSIONAL ACTIVITIES
Associate Editor, Cognitive Science.
Associate Editor, Behavioral and Brain Sciences.

UNIVERSITY ACTIVITIES
College of Arts and Sciences admissions, Spring 2004.
Director, Cornell Cognitive Studies Program.
Co-organizer, Language Universals (Cornell Cognitive Studies Spring 2004 symposium).

AWARDS AND HONORS
Levinson Prize in Mathematics, 1996.
Holder of the Sir Charles Clore Career Development Chair, 1994–1998.
Yigal Alon Fellowship, 1992–1995.
Koret Foundation Postdoctoral Fellowship, 1990–1992.
Chaim Weizmann Postdoctoral Fellowship, 1988–1990.
Grants for participation in the Cold Spring Harbor course on Computational Neuroscience, from the Aharon
Katzir Fund, Weizmann Institute; and the Cold Spring Harbor Laboratory, 1987.
Dean’s Award for Achievement, Feinberg Graduate School, Weizmann Institute, 1985.

>>
Ron Elber
Professor
Director, Ithaca campus of the Tri-institutional Program in Computational Biology; Director, Computational Biology
Service Unit; Director, Library of Life Project
ron@cs.cornell.edu
http://www.cs.cornell.edu/ron/

Ron Elber obtained a bachelor’s degree in chemistry and physics in 1981, and a Ph.D. in theoretical chemistry in 1984 at the Hebrew University of Jerusalem. He was a postdoctoral fellow in theoretical biophysics from 1984–1987 at Harvard University. Ron was on the chemistry faculty of the University of Illinois (1987–1992) and on the chemistry and biology faculty at Hebrew University (1992–1999). Since 1999 he has been on the CS faculty at Cornell where he is currently a full professor.

Ron’s research is in computational biology and bioinformatics. His group is developing novel tools (like MOIL) to simulate dynamics of biological macromolecules. His current research focuses on algorithms to extend the time scales of simulations, and to study complex processes such as the kinetics of protein folding. Ron’s techniques for path following and enhanced sampling are in wide use and motivated the development of related algorithms. His bioinformatic investigations focus on protein annotation, using sequence-to-structure matches (LOOPP). LOOPP linked a gene that influences the size of the tomato fruit with a human protein that controls cell growth and may cause cancer.

PUBLICATIONS
“Computing Time Scales from Reaction Coordinates by Milestoning”. Journal of Chemical Physics 120: 10880–10889. (2004) (With T. Faradjian).
“Large-scale Linear Programming Techniques for the Design of Protein Folding Potentials”. Mathematical
Programming [in press]. (With M. Wagner and J. Meller).
“The Evolutionary Capacity of Protein Structures”. Proceedings of the Eighth Annual International Conference on Research in Computational Molecular Biology (RECOMB 2004) (2004). (With L. Meyerguz, D. Kempe, and J. Kleinberg).
“Computational Analysis of Sequence Selection Mechanisms”. Structure 12: 547–557 (2004).
(With L. Meyerguz, C. Grasso, and J. Kleinberg).
“Enriching the Sequence Substitution Matrix by Structural Information”. Proteins, Structure, Function, and Genetics 54: 41–48 (2004). (With O. Teodorescu, T. Galor, and J. Pillardy).
“Atomically Detailed Simulations of Helix Formation with the Stochastic Difference Equation”. Biophysical
Journal 85: 2919–2939 (2003). (With A. Cárdenas).
“Kinetics of Cytochrome C Folding: Atomically Detailed Simulations”. Proteins, Structure, Function, and Genetics 51: 245–257(2003). (With A. Cárdenas).
“The Dominant Interaction Between Peptide and Urea is Electrostatic in Nature: A Molecular Dynamics
Simulation Study”. Biopolymers 68: 359–369 (2003). (With D. Tobi and D. Thirumalai).
“Ion Permeation through the Gramicidin Channel: Atomically Detailed Modeling by the Stochastic
Difference Equation”. Proteins, Structure, Function, and Genetics 50: 63–80 (2003). (With K. Siva).
“The Stochastic Difference Equation as a Tool to Compute Long-time Dynamics”. Chapter in Bridging the
Time Scale Gap (P. Nielaba, M. Mareschal, and G. Ciccotti, eds.), Springer Verlag, Berlin, 335–363
(2002). (With A. Ghosh and A. Cárdenas).
“Bridging the Gap between Reaction Pathways, Long-time Dynamics, and Calculation of Rates”. Advances
in Chemical Physics 126: 93–129 (2003). (With A. Ghosh, A. Cárdenas, and H. Stern).

LECTURES
“Computing Rates by Milestoning”. Applied Math Seminar, New York University (April 2004).
“The Evolutionary Capacity of Protein Structures”.
• Princeton, Chemical Engineering (May 2004).
•NATO School on Soft-matter Physics, Edinburgh (April 2004).
•Bioinformatic Program, Ann Arbor, Michigan (March 2004).
“Long-time Dynamics and Protein Folding”. Biophysical Society, Baltimore, Maryland (February 2004)
•NIH, Chemical Physics Laboratory, (November 2003).
•European Conference on Activated Processes, Paris (October 2003).
•Energy Landscapes Conference, Telluride (August 2003).
“The Temperature of Evolution”, Bioinformatic Conference, Buffalo, New York (June 2003).

PROFESSIONAL ACTIVITIES
Member, Editorial Board: Biophysical Journal; Theoretical Chemistry Accounts; Computer Physics
Communication.

UNIVERSITY ACTIVITIES
Director, Ithaca campus of the Tri-institutional Program in Computational Biology; The Computational
Biology Service Unit; Library of Life Project
Member, Life Science Advisory Council.

AWARDS AND HONORS
The Bergman Award, 1994.
The Alon New Faculty Award, 1992–1994.
University of Illinois Scholar, 1991–1992.
The Camille and Henry Dreyfus New Faculty Award, 1987–1990.
The Stein Award for Ph.D. Studies, 1984.

>>
K-Y. Daisy Fan
Assistant Professor
dfan@cs.cornell.edu
http://www.cs.cornell.edu/~dfan/

Daisy Fan obtained her B.Sc. and M.Sc. degrees in civil engineering at the University of Manitoba, Canada, in 1994 and 1997 respectively, and her Ph.D. degree in civil and environmental engineering at Cornell in 2002. She is currently an assistant professor in CS. Her research interests include the application of systems-analysis techniques for water resources and environmental problems. Problems she has investigated include optimal control of multiple-reservoir operation using stochastic dynamic programming and river-basin water quality management. She teaches COM S 100, and with Professor David Schwartz, develops the academic excellence workshops that are associated with the programming courses.

Fan is the director of the Summer College Explorations in Engineering Seminar for high school students. She actively participates in outreach initiatives, including Cornell’s CURIE Academy, which showcases engineering to high school girls.

PUBLICATIONS
“First Programming Course in Engineering: Balancing Tradition and Application”. [forthcoming] Computers
in Education Journal (July–September 2004). (With D. Schwartz).
“Penalized Regression Dynamic Programming (PR–DP) for High-dimensional Continuous-state Stochastic
Control Problems with Application to Reservoir Operation”. [in review] Operations Research.
(With C. Shoemaker and D. Ruppert).

PROFESSIONAL ACTIVITIES
American Society for Engineering Education Annual Conference and Exposition, Salt Lake City, Utah (June 2004).
SIGCSE Technical Symposium, Norfolk, Virginia (March 2004).

UNIVERSITY ACTIVITIES
Reviewer for Center for the Environment (Cornell) Graduate Research Grant Program.
College of Arts and Sciences Admissions Committee (spring 2004).
Member, Faculty Leadership Committee, CURIE Academy (plans the one-week outreach program for high school girls).
FIRST Robotics Club, Cornell.
Faculty Advisor for the robotics club that helps high school and middle school students build and program robots to compete in the annual FIRST Robotics and FIRST Lego League competitions.
Faculty panels and hosting events for engineering admission:
Society of Women Engineers Hosting Day (spring)
Minority Hosting Weekend (fall)
Faculty Fellow: Fellow in one of the first-year student residence halls—developed academic and social
programs for residents.

AWARDS AND HONORS
Cornell Society of Engineers Achievement Award (2004).
Graduate Teaching Assistant Award (CS, Cornell, 2000–2001).
New York State American Water Works Association Russell Sutphen Scholarship (2000).
John E. Perry Teaching Assistant Prize (Civil and Environmental Engineering, Cornell) (1999).
Natural Sciences and Engineering Research Council (NSERC Canada) Postgraduate Scholarship (1994–96).

>>
Paul Francis
Associate Professor
francis@cs.cornell.edu
http://www.cs.cornell.edu/people/francis

Paul Francis received his Ph.D. from University College of London (UCL) in 1994. Dr. Francis is one of the industry’s foremost scientists in large-scale routing and addressing and internetworking. He has fifteen years of research experience in network routing and addressing, large-scale self-configuring networks, and distributed peer-to-peer search.

Francis has done research at MITRE Corporation, Bellcore, NIT Software Labs, and the AT&T Center for Internet Research at the International Computer Science Institute, and was chief scientist at two startups, FastForward Networks and Tahoe Networks. Dr. Francis’s innovations include NAT (Network Address Translation), multicast shared trees (used in protocol independent multicast sparse mode and CBT), shortcut routing, and landmark routing. He is also the originator of two key IPv6 concepts: the unique host identifier (from Pip) and the use of multiple
addresses for multihomed sites.

Dr. Francis’s research interests looking forward are in the areas of peer-to-peer applications, overlay networks, network host proximity, Internet scaling, and DDoS protection. Dr. Francis has chaired two Internet Engineering Task Force (IETF) working groups, and has published numerous requests for comments, U.S. and international
patents, and research papers.

PUBLICATIONS
“Is the Internet Going NUTSS?” IEEE Computing Magazine (November–December 2003).

LECTURES
“NAT and IP v6, We Meet at Last”. North American Network Operators Group 30, Miami (February 2004).
COM S 212 Lecture on IP networks and sockets (November 2003).
OR&IE 480 Two lectures on IP networks (September 2003).
“NUTSS: the DeFacto Next-generation Internet Architecture”. IAI@Rome Summer Seminar Series (August 2003).
CS Lecture on domain name systems and CDNs (August 2003).

PROFESSIONAL ACTIVITIES
Reviewer, Computer Networks Journal (Elsevier Science Publisher)

AWARDS AND HONORS
NSF award (Directorate for Computer and Information Science and Engineering (CISE), Computer and
Network Systems), “Very Fine-grained Proximity Addressing” (September 2003).

11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011
00000000000000000000000000000111110111010000001111000000000000000011001
11111110100000001110000000000100000000000000000000000000000000000001111
10111010000001111000000000000000000000110100000001101000000011111110011

>>
Eric Friedman
Associate Professor of the School of Operations Research and Industrial Engineering
and Member of the Graduate Field of Computer Science
friedman@orie.cornell.edu
http://www.orie.cornell.edu/~friedman/

Eric Friedman received an A.B. in physics from Princeton (1985) and a M.A. in physics (1987) and M.S. and Ph.D. (1993) in operations research from the University of California at Berkeley. He was on the faculty at Duke (decision
sciences) and Rutgers (economics) before joining the faculty at OR&IE at Cornell in 2001.

Eric’s research is at the intersection of game theory, computer science, and operations research. Current projects include: constructing reputation systems for peer-to-peer networks, designing fair and efficient Web-serving algorithms, and allocating bandwidth in heterogeneous wireless systems. He is also interested in self-organized critical systems, learning in games, and the geometric structure of cost-allocation methods.

PUBLICATIONS
“Paths and Consistency in Additive Cost Sharing”. International Journal of Game Theory [forthcoming] (2004).
“The Behavior of Coupled Automata”. Physical Review E (2003).
“Large Scale Synchrony, Global Interdependence, and Contagion”. Quantitative Finance 3(4): 296–305 (August 2003). (With S. Johnson and A. Landsberg).
“Asynchronous Learning with Limited Information: An Experimental Analysis”. Games and Economic Behavior (2003). (With M. Shor, S. Shenker, and B. Sopher).
“Pricing WiFi at Starbucks—Issues in Online Mechanism Design”. Fourth ACM Conference on Electronic Commerce (EC 2003) (2003). (With D. Parkes).
“Strong Monotonicity in Surplus Sharing”. Economic Theory (2003).
“Propping and Tunnelling”. Journal of Comparative Economics (2003). (With S. Johnson and T. Mitton).
“Fairness and Efficiency in Processor Sharing Protocols to Minimize Sojourn Times”. SIGMETRICS 229–237 (2003). (With S. Henderson).
“Asynchronous Learning in Decentralized Environments: A Game Theoretic Approach”. In Collectives and the Design of Complex Systems (K. Turner and D. Wolpert, eds.) Springer-Verlag (2003).

LECTURES
Fairness and Stability in Allocating Wireless Bandwidth: Caltech, Rochester, IBM Watson—2003; Dagstuhl,
University of California at Berkeley—2004.
Cost Allocation: CAM Cornell: 2003.

UNIVERSITY ACTIVITIES
Program committee: Second workshop on the Economics of Peer-to-peer Systems.

>>
Geri Gay
Professor
CIS, joint with Communication
gkg1@cornell.edu
http://www.comm.cornell.edu/People_Professors.html#gkg1

Geri Gay is the director of the Human–Computer Interaction Group (HCI Group) and a professor in the Department of Communication. She received her Ph.D. from Cornell in 1985.

The HCI Group is a research and development group whose members design and research the use of computer-mediated learning environments. Current research focuses on the use and design of PDAs for communication and collaboration (funded by Intel). Other research examines navigation issues, knowledge management, mental models and metaphors (NSF), knowledge representations, collaborative work and learning (NASA and the AT&T Foundation), and system design of interactive computing systems.

Professor Gay teaches courses in computer-mediated communication, human– computer interaction, and the social design of communication systems.

PUBLICATIONS
Activity-centered Design: An Ecological Approach to Designing Smart Tools and Usable Systems. Cambridge,
Massachusetts: M.I.T. Press (2004). (With H. Hembrooke).
“Usability, Learning, and Subjective Experience: User Evaluation of K–MODDL in an Undergraduate Class”.
Joint Conference on Digital Libraries [accepted] (2004). (With B. Pan, J. Saylor, H. Hembrooke, and
D. Henderson).
“Eye-tracking Analysis of User Behavior in WWW Search”. In Proceedings of Twenty-eighth Annual ACM
Conference on Research and Development in Information Retrieval (SIGIR 2004), Sheffield, U.K. (2004).
(With L. Granka and T. Joachims).
“The Determinants of Web Page Viewing Behavior: An Eye-tracking Study”. In Proceedings of Eye Tracking
Research and Applications (S. N. Spencer, ed.), New York, New York: Computer Graphics Proceedings,
Annual Conference Series, ACM SIGGRAPH. (2004). (With B. Pan, H. Hembrooke, G. Granka, M. Feusner,
and J. Newman).
“Culturally Embedded Computing”. IEEE Pervasive Computing, Special Issue on Art, Design, and
Entertainment in Pervasive Environments (2004). (With P. Sengers, J. Kaye, K. Boehner, J. Fairbank,
E. Medynskiy, and S. Wyche).
“The Lecture and the Laptop: Multitasking in Wireless Learning Environments”. Journal of Computing in
Higher Education 15(1): 46–65 (2003). (With H. Hembrooke).
“MetaTest: Evaluation of Metadata from Generation to Use”. Proceedings of the Joint Conference on Digital
Libraries (2003). (With L. Liddy, E. Allen, H. Hembrooke, T. Finneran, and L. Granka).
“User-recalled Occurrences of Usability Errors: Implications on the User Experience”. Computer–Human
Interaction (CHI) 2003 Extended Abstracts, on Human Factors in Computing Systems 434–436 (2003).
(With H. Mentis).
“Technology Acceptance and Social Networking in Distance Learning”. Educational Technology and Society
6(2): 50–61 (2003). Available at http://ifets.ieee.org/periodical/6-2/6.html. (With J. Lee, H. Cho,
B. Davidson, and A. Ingraffea).

LECTURES
Invited Talk, Affective Presence Seminar—Hillsboro, Oregon (January 20–21, 2004).
Invited Speaker, Digital Media and Communication, held in Philadelphia, Pennsylvania under the sponsorship of the Annenberg Public Policy Center at the University of Pennsylvania, (October 31– November 1, 2003).
Presentation, Wireless Computing in Museums. Centre for Industrial and Medical Informatics Museums, Europe Meeting. Edinburgh, Scotland (November 2002).
Invited Speaker, Intel Symposium and Workshop, Understanding Visitor Expectations and Museums as Mobile Computing Environments: Hand-helds in the Museum Landscape. Hillsboro, Oregon (May 2002).

PROFESSIONAL ACTIVITIES
Chair, Department of Communication (2004–present).
Director of Graduate Studies for Information Science Ph.D. Program (2003–2004)

UNIVERSITY ACTIVITIES
Member, CIS Council Committee (2004–present).
Member, CIS Building Committee (2003–present).
Advisor, CALS Technology Committee (2003–present).
Member, Museum Faculty Advisory Committee, Herbert F. Johnson Museum of Art, Cornell University (2001).
Board of Directors. Boyce Thompson Institute, Cornell University (2001).
Member, Founder’s Board, Faculty of Computing and Information Science, (1999–present).
Member, Computing and Information Sciences Task Force, Cornell University (1999).
Member, Distance Learning Committee, College of Agriculture and Life Sciences, Cornell University
(1997–1999).

AWARDS AND HONORS
Stephen H. Weiss Presidential Fellowship Teaching Award, Cornell University, 2004.
Chancellor’s Award for Excellence in Teaching, S.U.N.Y., 2001.
Merrill Presidential Scholar Faculty, 2000.
Innovative Teaching Award, College of Agriculture and Life Sciences, 2000.
Distinguished Teaching Award of the Cornell Chapter of Sigma Delta, the Honor Society of Agriculture and
Life Sciences, Human Ecology, and Veterinary Medicine, 1996.

>>
Johannes Gehrke
Assistant Professor
johannes@cs.cornell.edu
http://www.cs.cornell.edu/johannes/

Johannes Gehrke obtained his Ph.D. in computer science at the University of Wisconsin at Madison in 1999, and he has been an assistant professor in CS since then.

Johannes’s research interests are in the areas of data mining and database systems. With Professor Al Demers, he is working on distributed data management for wireless sensor networks. With Professor Jayavel Shanmugasundaram, he is building a peer-to-peer database system that scales to thousands of nodes. He is also interested in techniques for processing high-speed data streams and in data privacy. His data-mining research includes privacy-preserving data mining, theoretical foundations of data mining, and applications of data mining to
problems in the sciences. His group has developed some of the fastest known algorithms for several important data-mining tasks.

PUBLICATIONS
“Querying Peer-to-peer Networks Using P–trees”. In Proceedings of the Seventh International Workshop
on the Web and Databases (WebDB 2004), Paris, France (June 2004). (With A. Crainiceanu, P. Linga,
J. Gehrke, and J. Shanmugasundaram).
“Approximation Techniques for Spatial Data”. In Proceedings of the ACM International Conference on
Management of Data (SIGMOD). Paris, France (June 2004). (With A. Das and M. Riedewald).
“The Architecture of the Cornell Knowledge Broker”. In Proceedings of the ISI, Tucson, Arizona
(June 2004). (With A. Demers and M. Riedewald).
“Privacy Preserving Mining of Association Rules”. Information Systems 29(4): 343–364 (June 2004).
Special Issue with Best Papers from KDD 2002. (With A. Evfimievski, R. Srikant, and R. Agrawal).
“P–Tree: A P2P Index for Resource Discovery Applications”. In Proceedings of the Thirteenth International
World Wide Web Conference, New York, New York (May 2004). Poster paper. (With A. Crainiceanu,
P. Linga, and J. Shanmugasundaram).
“A Storage and Indexing Framework for P2P Systems”. In Proceedings of the Thirteenth International World
Wide Web Conference, New York, New York (May 2004). Poster paper. (With A. Crainiceanu, P. Linga,
A. Machanavajjhala, and J. Shanmugasundaram).
“Sketch-based Multiquery Processing Over Data Streams”. In Proceedings of the Ninth International
Conference on Extending Database Technology, Heraklion–Crete, Greece (March 2004). (With A. Dobra,
M. Garofalakis, and R. Rastogi).
“DualMiner: A Dual-pruning Algorithm for Itemsets with Constraints”. Data Mining and Knowledge
Discovery 7(3): 241–272. Special Issue on “Selected Papers from the Eighth ACM SIGKDD International
Conference—Part I". (With C. Bucila, D. Kifer, and W. White).
“The Cougar Project: A Work-in-progress Report”. Sigmod Record 32(4) (December 2003). (With A. Demers,
R. Rajaraman, N. Trigoni, and Y. Yao).
“MAFIA: A Performance Study of Mining Maximal Frequent Itemsets”. In Workshop on Frequent Itemset
Mining Implementations (FIMI 2003). Melbourne, Florida. (November 2003). (With D. Burdick,
M. Calimlim, J. Flannick, and T. Yiu).
“Energy-efficient Data Management for Sensor Networks: A Work-in-progress Report”. In Second IEEE
Upstate New York Workshop on Sensor Networks. Syracuse, New York. (October 2003). (With A. Demers,
R. Rajaraman, N. Trigoni, and Y. Yao).
“Computing Aggregate Information Using Gossip”. In Proceedings of the Forty-fourth Annual IEEE
Symposium on Foundations of Computer Science (FOCS 2003), Cambridge, Massachusetts
(October 2003). (With D. Kempe and A. Dobra).
“Decision Tree Construction”. In Handbook of Data Mining (N. Ye, ed.). Lawrence Erlbaum Associates
(2003).

LECTURES
Privacy Breaches in Privacy Preserving Data Mining. Computer Science Colloquium, North Carolina State University. Raleigh, North Carolina (April 2004).
Energy-efficient Data Management in Sensor Networks. NSF–RPI Workshop on Pervasive Computing and Networking. Troy, New York (April 2004).
Towards a Theory of Constraint-based Itemset Mining. Keynote at the Workshop on Inductive Databases and Constraint Based Mining. Freiburg, Germany (March 2004).
Privacy-preserving Data Mining. KD–D Review Meeting. Ithaca, New York (February 2004).
Distributed Mining and Monitoring. KD–D Principal Investigators Meeting. Washington, D.C. (November 2003).
Privacy Breaches in Privacy-preserving Data Mining. Computer Science Colloquium, Department of Computer Science, University of Buffalo. Buffalo, New York (November 2003).
RPH–Trees: An Adaptive, Scalable, High-performance Publish/Subscribe System. Air Force Rome Labs Science Advisory Board. Rome, New York (November 2003).
Data Streams and Data Mining. Lawrence Livermore National Laboratory. Livermore, California (November 2003).
Mining Streaming Data and Distributed Sensor Databases. Cornell Information Assurance Institute, Ithaca,
New York (October 2003).
Distributed Mining and Monitoring. Annual Multidisciplinary University Research Institute (MURI) Review Meeting. Ithaca, New York (October 2003).
Processing Data Streams. University of Karlsruhe. Karlsruhe, Germany (September 2003).
Results of the KDD Cup 2003. Presentation at the 2003 ACM SIGKDD International Conference. Washington, D.C. (August 2003). (With J. Kleinberg)
An Overview of Database Research at Cornell. Microsoft Research, Data Mining and Exploration Group. Seattle, Washington (July 2003).

PROFESSIONAL ACTIVITIES
Committees:
Member, ACM SIGKDD Curriculum Committee.
Member, Workshop Steering Committee, Workshop on GeoSensor Networks. Portland, Maine (October 2003).
Editorial Boards:
Member, Editorial Board, Journal of Privacy Technology (2004–present).
Member, Editorial Board, Machine Learning (2003–present).
Action Editor, Data Mining and Knowledge Discovery (2003–present).
Associate Editor, Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society
(2002–2004).
Member, Editorial Board, Journal of Database Management (2000–present).
Editorial Activities:
Guest Editor, Data Engineering Bulletin. Special Issue on Privacy and Security (March 2004).
Program Chairmanships
Area Chair, Twentieth ICML, Washington, D.C. (August 2003).
Co-chair, KDD–Cup, Ninth ACM SIGKDD International Conference, Washington, D.C. (August 2003).
Program Committees:
Member, Program Committee, Twenty-third ACM SIGMOD–SIGACT–SIGART (Special Interest Group on Artificial Intelligence) Symposium on Principles of Database Systems. Paris, France (June 2004).
Member, Program Committee, Second NSF/NIJ Symposium on Intelligence and Security Informatics (ISI 2004). Tucson, Arizona. (June 2004).
Member, Program Committee, Ninth ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery. Paris, France (June 2004).
Member, Program Committee, Thirteenth International World Wide Web Conference (WWW 2004). New York, New York (May 2004).
Member, Program Committee, Fourth SIAM International Conference on Data Mining (SDM 2003). Orlando, Florida. (April 2004).
Member, Program Committee, Twenty-fourth International Conference on Distributed Computing Systems. Tokyo, Japan (March 2004).
Member, Program Committee, Twentieth IEEE International Conference on Data Engineering (ICDE). Boston, Massachusetts (March 2004).
Member, Program Committee, Fifth International Conference on Mobile Data Management. San Jose, California (January 2004).
Member, Program Committee, ICDM. Melbourne, Florida (December 2003).
Member, Program Committee, Ninth ACM SIGKDD International Conference. Washington, D.C. (August 2003).
Member, Program Committee, Fifteenth International Conference on Scientific and Statistical Database Management. Boston, Massachusetts (July 2003).

UNIVERSITY ACTIVITIES
Member, Department Chair Search Committee, Department of Computer Science (2004).
Faculty Mentor, Japanese Graduate Student Association (January 2003–present).

AWARDS AND HONORS
Cornell University Provost’s Award for Distinguished Scholarship, 2004.
Alfred P. Sloan Foundation Fellowship, 2003.
NSF CAREER award, 2002.
Cornell College of Engineering James and Mary Tien Excellence in Teaching Award, 2001.
IBM Faculty Development Award, 2000 and 2001.

>>
Tarleton Gillespie
Visiting Assistant Professor
CIS, joint with Communication and Science and Technology Studies
tlg28@cornell.edu
http://www.sts.cornell.edu/viewprofile.php?ProfileID=5

Tarleton Gillespie received his bachelor’s degree in English from Amherst College in 1994, his master’s (1997) and Ph.D. (2002) in communication from the University of California at San Diego.

His past research used recent disputes over copyright and the Internet to analyze the historical contest over the nature of authorship, law, and technology. He uses these cases to examine the cultural and institutional arrangements surrounding media and Internet technologies, considering how power and practice are woven into their use and the cultural notions of their value. In particular, he is interested in the way that law and technology sometimes battle, but more often are often brought together to regulate knowledge production.

He is continuing work on his first book, which will address this “legal turn to technology”. What are the implications when, rather than legislating individual behavior, or mandating design for some broad public benefit, lawmakers legislate technology so that it specifically regulates individual behavior? Cases include controversies around copy protection and Internet filtering, DVD encryption and the DMCA, and the most recent example, the FCC’s mandated “broadcast flag” for digital television—a controversy certain to impact the ongoing public discussion of this broader shift, and the co-production of law, digital media, and commercial institutions. Using these cases as examples, he is investigating not only this shift in American legal, political, and commercial strategy, and its consequences for legal doctrine, political subjectivity, and technological innovation; but also the shifting relationships between the corporate and governing institutions it represents and depends on, and the impact of these institutional shifts for digital
culture.

PUBLICATIONS
“Manufacturing a Principle: ‘End-to-end’ in the Design of the Internet.” [submitted] Social Studies of Science.
“Copyright and Commerce: The DMCA, Trusted Systems, and the Stabilization of Distribution.” The Information Society 20(4) (June 2004).

LECTURES
“Manufacturing a Principle: ‘End-to-end’ in the Design of the Internet”. Presented to the Department of Science and Technology Studies, Cornell University (January 2004).
“The Symbolic Shape of Media Technologies”. Presented at the Conference of the Society for the Social Studies of Science (4S), Atlanta, Georgia (October 2003).
Panel:
“The Making of Language and Metaphor in Technoscientific Discourse”. Organized for the 4S Conference,
Atlanta, Georgia (October 2003).
Panel and comment:
“Building Digital Stuff”. Co-organized (With P. Sengers) for “Connecting STS: The Academy, The polity,
and the World”. Cornell University (September 2003).

PROFESSIONAL ACTIVITIES
Editorial Advisor, Social Studies of Science.

AWARDS AND HONORS
Humanities Council Research Grant, Society for the Humanities, Cornell University (2003).

>>
Paul Ginsparg
Professor
CIS, joint with Physics
ginsparg@cs.cornell.edu
http://www.physics.cornell.edu/profpages/Ginsparg.htm

Paul Ginsparg received his A.B. in physics from Harvard University in 1977 and his Ph.D. in physics from Cornell in 1981 (Quantum Field Theory, thesis advisor: Kenneth G. Wilson). He was in the Harvard Society of Fellows from 1981–84, and a junior faculty member in the Harvard physics department from 1984–90. From 1990–2001, he was a technical staff member in the theoretical division at the Los Alamos National Laboratory.

Ginsparg came to Cornell in 2001, where he holds a joint appointment in the Department of Physics and the Faculty of CIS. He has been an A. P. Sloane Fellow and a Department of Energy Outstanding Junior Investigator, and has held visiting positions at C.E.N. Saclay, France; Princeton University; Stanford Linear Accelerator Center; the Institute for Advanced Studies, Princeton; the Institute for Theoretical Physics at the University of California at Santa Barbara; the Mathematical Science Research Institute at University of California at Berkeley; and at Hebrew University of Jerusalem. In 1991 Ginsparg initiated the “e-Print arXiv” as a new form of communications-research infrastructure for physics.

Ginsparg’s current research in information science investigates the optimal combination of automated text classification, data mining, machine learning, human–computer interaction, quantum field theory, and related techniques for use in research-communications infrastructure.

PUBLICATIONS
“Can Peer Review Be Better Focused?”. Science and Technology Libraries 22(3/4): 5–18 (2003).
“Scholarly Information Architecture, 1989–2015”. Data Science Journal 3(4): 29–37 (February 2004).
“e-Print ArXiv Project”. T–Division Sixtieth Anniversary Book (F. Harlow and J. Sprouse, eds.), Los Alamos
National Laboratory (2003).
“Mapping Subsets of Scholarly Information”. Proceedings of the National Academy of Sciences 101: 5236–5240 (April 6, 2004). (With P. Houle, T. Joachims, and J.-H. Sul).
“Overview of the 2003 KDD Cup”. ACM SIGKDD Explorations 5 (2): 149–151 (December 2003). (With J. Gherke and J. Kleinberg).
“Scholarly Information Network”. Complex Networks, Lecture Notes in Physics (E. Ben-Naim, H. Frauenfelder,
and Z. Toroczkai, eds.), Springer Verlag (2004).

LECTURES
Colloquium, Google, Mountain View, California.
Dibner/Sloan History of Recent Science and Technology Conference, M.I.T., Cambridge, Massachusetts.
Colloquium, Department of Biochemistry, Harvard Medical School, Cambridge, Massachusetts.
Vollmer Fries Lecture, Rensselaer Polytechnic Institute, Troy, New York.
NAS Sackler Colloquium, Mapping Knowledge Domains, University of California at Irvine.
Keynote Talk, “Networks: Structure, Dynamics and Function’’ conference, Santa Fe, New Mexico.
Colloquium, Aspen Center for Physics, Aspen, Colorado.
Seminar, MacArthur Fellows Meeting, Racine, Wisconsin.
Colloquium, Society of Physics Students, Cornell University, Ithaca, New York.
Seminar, Students of Science Reporting, Cornell University, Ithaca, New York.

PROFESSIONAL ACTIVITIES
Member, Advisory Board, Public Library of Science.
Member, National Advisory Board, NIH PubMedCentral.
Member, Publications Oversight Committee, American Physical Society.
Member, Advisory Board, French Centre National Recherche Scientifique “Centre Communication
Scientifique Directe”.
Member, Advisory Board, “Journal Club for Condensed Matter Physics”.

UNIVERSITY ACTIVITIES
Member, Cornell University Faculty Advisory Board on Information Technology.
Member, Cornell University Library Board.
Member, Cornell Computing and Information Science Council.
Member, Cornell Information Science Graduate Field Committee.

AWARDS AND HONORS
John D. and Catherine T. MacArthur Foundation Fellow, 2002.
Fellow of the American Physical Society, 2000.
Lingua Franca “Tech 20” Award, 1999.
P.A.M. (Physics Astronomy Math) award from the Special Libraries Association, 1998.
Distinguished Performance Award, Los Alamos National Laboratory, 1992.
DOE Outstanding Junior Investigator, 1986–91.
A. D. White Fellow, Cornell University, 1977–81.
A. P. Sloan Foundation Fellow, 1986–90.
Harvard Society of Fellows, 1981–84.

>>>>
Carla P. Gomes
Associate Professor
CIS, joint with Applied Economics and Management
Director, Intelligent Information Systems Institute (IISI)
gomes@cs.cornell.edu
http://www.cs.cornell.edu/gomes

Carla P. Gomes obtained a Ph.D. in computer science in the area of artificial intelligence and operations research from the University of Edinburgh in 1993. She also holds a M.Sc. in applied mathematics from the University of Lisbon.

Gomes is currently the director of IISI at Cornell. Her research has covered many areas in artificial intelligence and computer science, including planning and scheduling, integration of CSP and OR techniques for solving combinatorial problems, software agents, and algorithm portfolios.

Her current projects focus on the interplay between problem structure and computational hardness, the use of approximation methods in large-scale constraint-based reasoning systems, and applications of constraint-based reasoning and optimization in multi-agent optimal control, distributed wireless networks, and combinatorial auctions. She was the conference chair of the Eighth International Conference on Principles and Practice of Constraint Programming (CP 2002).

PUBLICATIONS
“The Challenge of Generating Spatially Balanced Scientific Experiment Designs”. Proceedings of the Sixth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP–AI–OR ‘04), Nice, France (2004). (With M. Sellmann, C. van Es, and H. van Es).
“Approximations and Randomization to Boost CSP Techniques”. Annals of Operations Research (2004). (With D. Shmoys).
“Regular–SAT: A Many-valued Approach for Solving Combinatorial Problems”. Discrete Applied Mathematics, Elsevier (2004). (With R. Bejar, A. Cabiscol, C. Fernandez, and F. Manya).
“Sensor Networks and Distributed CSP: Communication, Computation and Complexity”. Artificial Intelligence Journal (2004). (With R. Bejar, C. Domshlak, C. Fernandez, B. Krishnamachari, B. Selman, and M. Valls).
“Complete Randomized Backtrack Search”. Constraint and Integer Programming: Toward a Unified Methodology
(M. Milano, ed.), Kluwer, 233–283 (2003).
“Pareto-like Distributions in Random Binary CSP”. Frontiers in Artificial Intelligence and Applications—Artificial Intelligence Research and Development, IOS Press 100: 451–461, ISSN 0922-6389 (2003). (With C. Bessiere, C. Fernandez, and M. Valls).
“Backdoors To Typical Case Complexity”. Proceedings of the Eighteenth International Joint Conference on Artificial
Intelligence (IJCAI 2003) (2003). (With R. Williams and B. Selman).

LECTURES
Heavy-tailed Behavior in Computation. Institute for Mathematics and its Applications (IMA). (2004).
Exact Randomized Search Methods. Institute for Operations Research and the Management Sciences. Banff, Alberta (2004).
Backdoors in Combinatorial Problems. Canadian Operational Research Society, Banff, Alberta. (2004).
Randomization, Structure, and Complexity in Combinatorial Optimization. Institute for Pure and Applied Mathematics,
University of California at Los Angeles. (2003).

PROFESSIONAL ACTIVITIES
AAAI Executive Council (2002–2005).
Editorial Board:
Journal of Artificial Intelligence Research
Journal of Knowledge Engineering Review
Journal of Satisfiability
International Journal on Artificial Intelligence Tools
Program Committees:
Sixth International Conference on the Integration of AI and OR in CP for Combinatorial Optimization (CP–AI–OR) (2004).
International Conference on Automated Planning and Scheduling 2003–04.
Seventh International SAT Conference (2004).
Co-chair, AFRL/IISI Workshop on Mixed Initiative Decision Making, Ithaca, New York (2003). (With H. Kautz and C. Domshlak).
Ninth International Conference on the Principles and Practice of Constraint Programming, CP 2003.
Sixth International SAT Conference (2003).

UNIVERSITY ACTIVITIES
Director, Intelligent Information Systems Institute (IISI).

>>
Donald Greenberg
Jacob Gould Schurman Professor
Member of CIS, the Johnson School of Management, the Department
of Architecture, and the Graduate Field of Computer Science
dpg@graphics.cornell.edu
http://www.graphics.cornell.edu/people/director.html

Since 1966, Dr. Greenberg has been researching and teaching in the field of computer graphics. During the last fifteen years, he has been primarily concerned with research advancing the state-of-the-art in computer graphics and with utilizing these techniques as they may be applied to a variety of disciplines. His specialties include real-time realistic-image generation, geometric modeling, color science, and computer animation. He presently teaches the computer graphics courses in Computer Science, computer-aided design in Architecture, computer animation in Art and CIS, and technology strategy in the Johnson Graduate School of Management.

Working with the General Electric Visual Simulation Laboratory, he produced a sophisticated computer graphics movie, “Cornell in Perspective”, as early as 1971. He is the author of hundreds of articles on computer graphics (including two published in Scientific American, May 1974 and February, 1991, both of which have been highly publicized); and he has lectured extensively on the uses of computer graphics techniques in research applications.
He was the founding Director of the National Science Foundation Science and Technology Center for Computer Graphics and Scientific Visualization. He has been the Director of the Program of Computer Graphics for thirty-one years and was the originator and former Director of the Computer-aided Design Instructional Facility at Cornell University.

In 1987, he was awarded the prestigious ACM SIGGRAPH Steven Coons Award for outstanding creative contributions to computer graphics. Of his two hundred plus graduate students, many have gone on to become
leaders in the fields of computer graphics, computer animation, and computer aided design for architecture. Five have now won Hollywood “Oscars”.

Dr. Greenberg joined the faculty of Cornell in 1968, with a joint appointment in the Departments of Architecture and Structural Engineering. His prior education consisted of both the architecture and engineering disciplines at Cornell University and Columbia University. From 1960 to 1965, he served as a consulting engineer with Severud Associates, and was involved with the design of numerous building projects including the St. Louis Arch, New York State Theater of the Dance at Lincoln Center, and Madison Square Garden. He has taught courses in structural analysis and design, architectural design, shell structures, reinforced concrete, and computer applications in architecture.

PUBLICATIONS
“Combining Edges and Points for Interactive High-quality Rendering”. Computer Graphics Proceedings, Annual Conference Series, ACM SIGGRAPH (July 2003). (With K. Bala and B. Walter).
“Detail Synthesis for Image-based Texturing”. Interactive 3D Graphics (I3D) (April, 2003). (With R. Ismert
and K. Bala).

LECTURES
Cornell Silicon Valley, Cornell Entrepreneur Network, and Cornell Entrepreneurship and Personal Enterprise
Program New Year Entrepreneurship Event (January 2004).
“Research Challenges in Computer Graphics,” Computer Science and Telecommunications Board, Planning
Meeting on Fundamental Research Challenges in Computer Graphics (December 2003).
“Design Environments of the Future: Learning form the Past,” New York Chapter, American Institute of Architects (October 2003).
“Computer Graphics”. Beginning with Children School (June 2003).

PROFESSIONAL ACTIVITIES
Founding Director, National Science and Technology Center for Computer Graphics and Scientific Visualization.
Technical Advisory Board, Intel Corporation.

UNIVERSITY ACTIVITIES
Professor, Architecture, Art, Computer Science, and Johnson Graduate School of Management.
Member, Fields of Civil Engineering and History of Science and Technology.

AWARDS AND HONORS
Fellow, American Association for the Advancement of Science, 2002.
Honorary Doctoral Degree, New Jersey Institute of Technology, 1999.
Architectural Schools Computing Association Creative Research Award in Architecture, 1997.
Fellow, ACM, 1994.
Founding Fellow, American Institute of Medical and Biological Engineering, 1992.
Member, National Academy of Engineering, 1991.
NCGA Academic Award (highest educational award given by the National Computer Graphics Association),
1989.
ACM SIGGRAPH Steven A. Coons Award for Outstanding Creative Contributions to Computer Graphics, 1987.

>>
David Gries
Associate Dean of Engineering for Undergraduate Programs
Professor of Computer Science
Cornell Weiss Presidential Fellow
gries@cs.cornell.edu
http://www.cs.cornell.edu/gries/

Professor Gries’s research is aimed at gaining a better understanding of the programming process, with respect to both sequential and concurrent (or parallel) programs. The work requires investigation of theories of program correctness and their application, as well as investigation of other concepts in the semantics of programming languages.

Education is also a strong interest for Gries, particularly the first few courses in computer science. Under the thesis that logic is the glue that binds together reasoning in all domains, Gries and colleague F. B. Schneider wrote a text, A
Logical Approach to Discrete Math, which makes a usable “calculational logic” the foundation for almost all the discrete math topics.

Earlier, with his son, Gries developed a “livetext”—a text that comes on a CD and has over 250 two-to-three–minute recorded lectures with synched animation, as well as other innovative features. A paper text to accompany it, Multimedia Approach to Programming Using Java, will appear in fall 2004.

Gries received the Dr. rer. nat. degree from the Munich Institute of Technology in 1966. He chaired the Computing Research Association during the time it opened an office in Washington and began representing the research community.

LECTURES
The Mathematics of Programming and Why We Should Teach It. Consortium for Computing Sciences in
Colleges in the Northeast 2004, Union College, New York (April 24, 2004).
Fundamentals of Parallelism Workshop on Concurrency. Sri Sathya Sai Institute of Higher Learning. India.
(July 4–6, 2003).

PROFESSIONAL ACTIVITIES
Member, Steering Group, American Association for the Advancement of Science (AAAS) Section T on Information, Computing, and Communication (1999–2003).
Member, IEEE Piore Award Committee.
Editorial Board, Acta Informatica, Information Processing Letters.
Main Editor, Acta Informatica (1982–present).
Series Editor, Springer Verlag Texts and Monographs in Computer Science (1973–present).
Managing Editor, Information Processing Letters (1972–2003).

UNIVERSITY ACTIVITIES
Associate Dean for Undergraduate Programs.

AWARDS AND HONORS
Doctor of Science (Honorary Degree), Oxford University, Miami, Ohio, 1999.
Doctor of Laws (Honorary Degree), Daniel Webster College, Nashua, New Hampshire, 1996.
ACM Karl V. Karlstrom Outstanding Educator Award, 1996.
Cornell University Computer Science Department Faculty of the Year, 1995–96. (ACSU)
Weiss Presidential Fellow (for contributions to undergraduate education). Cornell University, 1995.
Taylor L. Booth Award Education Award, IEEE Computer Society, 1994.
ACM Fellow (Charter member: among the first group to be inducted), 1994.
ACM SIGCSE Award for Outstanding Contributions to Computer Science Education, 1991.
Computing Research Association Award for Service to the Computing Community, 1991.
Fellow of the AAAS, 1990.
Chosen by a Cornell Merrill Presidential Scholar (Thomas Yan) as the faculty member who had the most positive influence on his education at Cornell, 1990.
Clarke Award for Excellence in Undergraduate Teaching; College of Arts and Science, Cornell University, 1986–87.
Education Award, American Federation of Information Processing Societies, 1986.
Guggenheim Fellowship, 1983–84.
ACM Programming Systems and Languages Paper Award, 1977 (With S. Owicki).

>>
Zygmunt J. Haas
Professor of the School of Electrical and Computer Engineering,
and Member of the Graduate Fields of Computer Science and
the Center for Applied Mathematics
haas@ece.cornell.edu
http://people.ece.cornell.edu/haas/

Zygmunt J. Haas received his Ph.D. from Stanford University in 1988 and subsequently joined AT&T Bell aboratories where he pursued research on wireless communications, mobility management, fast protocols, optical networks, and
optical switching. In August 1995, he joined the faculty of the School of Electrical and Computer Engineering at Cornell University.

Dr. Haas is an author of numerous technical papers and holds fifteen patents in the fields of high-speed networking, wireless networks, and optical switching. He has organized several workshops, delivered tutorials at major IEEE
and ACM conferences, and serves as editor of several journals and magazines, including the ACM/IEEE Transactions on Networking, the IEEE Transactions on Wireless Communications, and the Kluwer’s journal on Wireless Networks. He has been a guest editor of three issues of the IEEE’s Journal of Selected Areas on Communication (“Gigabit Networks”, “Mobile Computing Networks”, and “Ad-Hoc Networks”). Dr. Haas is a senior member of IEEE and the Chair of the IEEE Technical Committee on Personal Communications. He is an IEEE/COMSOC Distinguished Speaker.

Professor Haas’s current interests include: mobile and wireless communication and networks, performance evaluation of communication systems, and biologicallyinspired systems and networks. He heads the Wireless Networks Laboratory (WNL) (http://wnl.ece.cornell.edu) at Cornell, which performs research in the area of
mobility management for wireless networks, ad hoc networking (routing, multicasting, medium-access control (MAC), and topology control), security of wireless communications, and cross-layer design of communication protocols. The
ad hoc networking technology is the central research area of WNL. In particular, Haas’s research group has developed the first hybrid ad hoc routing protocol— the Zone Routing Protocol—which is currently an IETF draft. The WNL has also pioneered in its research on ad hoc network security.

Dr. Haas is a recipient of the Michael Tien College of Engineering Teaching Award in the years 1997, 2000, and 2003.

PUBLICATIONS
“On the Scalability of Wireless Networks with Omnidirectional Antennas”. [accepted] Wireless Communications and Mobile Computing. Wiley and Sons (2004). (With O. Arpacioglu).
“Independent Zone Routing: An Adaptive Hybrid Routing Framework for Ad Hoc Wireless Networks”. [accepted] ACM/IEEE Transactions on Networking. (With P. Samar and M. Pearlman).
“Implementation of Virtual Factory Communication Systems Using Manufacturing Message Specification”. In The Handbook of Industrial Information Technology, CRC Press (March 2004). (With D.-S. Kim and W. Kwon).
“Concurrent Search of Mobile Users in Cellular Networks”. ACM/IEEE Transactions on Networking 12(1) (February 2004). (With R.-H. Gau).
“On Optimizing the Backoff Interval for Random Access Schemes”. IEEE Transactions on Communications51(12): 2081–2090 (December 2003). (With J. Deng).
“Efficient Computations for Evaluating Extended Stochastic Petri Nets Using Algebraic Operations”. International Journal of Control, Automation and Systems 1(4) (December 2003). (With D.-S. Kim, H. Moon, and W. Kwon).
“Performance Evaluation of Modified IEEE 802.11 MAC for Multichannel Multihop Ad-Hoc Network”. Journal of Interconnection Networks (JOIN) Special Issue on Advanced Information Networking: Architectures and Algorithms 4(3): 345–359 (2003). (With J. Li, M. Sheng, and Y. Chen).

Conference Papers:
“Impact of Concurrent Transmissions on Downstream Throughput in Multihop Cellular Networks”. In Proceedings of the 2004 IEEE International Conference on Communications (ICC 2004), Paris, France (June 20–24, 2004) (With J. Cho).
“On the Scalability and Capacity of Wireless Networks with Omnidirectional Antennas”. Third International Symposium on Information Processing in Sensor Networks (IPSN 2004), Berkeley, California (April 27–28, 2004). (With O. Arpacioglu).
“Analyzing Split Channel Medium Access Control Schemes with ALOHA Reservations”. Second International Conference on Ad-Hoc Networks and Wireless, Montreal, Canada (October 8 –10, 2003). (With J. Deng and Y. Han).
“A Novel Packet Scheduling in an Enhanced Joint CDMA/NC–PRMA Protocol for Wireless Multimedia Communications”. IEEE Vehicular Technology Conference (VTC 2003), Orlando, Florida (October 4–9, 2003). (With S. Lee, A. Ahmad, and K. Kim).
“Secure Data Transmission in Mobile Ad Hoc Networks”. ACM Workshop on Wireless Security (WiSe 2003), San Diego, California (September 19, 2003). (With P. Papadimitratos).

Book Chapters:
“A Sensor Network for Biological Data Acquisition”. Handbook on Sensor Networks (M. Ilyas, ed.) CRC Press
(2004). (With T. Small, A. Purgue, and K. Fristrup).
“Secure Mobile Ad Hoc Networks”. Ad Hoc Wireless Networking, Kluwer Academic Publisher (2004). (With P. Papadimitratos).
“Hybrid Routing: The Pursuit of an Adaptable and Scalable Routing Framework for Ad Hoc Networks”. Ad Hoc Wireless Networking, Kluwer Academic Publisher (2004). (With P. Samar and M. Pearlman).

LECTURES
“Scalability of Wireless Ad-Hoc Networks”. Keynote speech, NSF International Workshop on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-peer Networks, Radisson Bahia Mar Beach Resort, Fort Lauderdale, Florida (February 20–21, 2004).
“The Analysis of Power-controlled MAC Layer for Wireless Ad-Hoc Networks”. VTC 2003, Orlando, Florida (October 4–9, 2003). (With H. Inaltekin).
“Throughput Enhancement by the Multihop Relaying in Cellular Radio Networks with Non-uniform Traffic Distribution”. VTC 2003, Orlando, Florida (October 4–9, 2003). (With J. Cho).

PROFESSIONAL ACTIVITIES

Editorial Boards:
IEEE Transactions on Wireless Communications.
ACM/IEEE Transactions on Networking.
IEEE Communications Magazine.
Elsevier Ad Hoc Networks Journal.
Wireless Communications and Mobile Computing, Journal, John Wiley and Sons.
Journal of High Speed Networks.
ACM/Kluwer Wireless Networks.

Committees:
General Chair, ACM Mobicom 2004, Philadelphia, Pennsylvania (September 26–October 1, 2004).
Chair, IEEE TCPC Award Committee (September 2003).
Chair, IEEE Ithaca Section (January 1, 2003–December 31, 2003).
Member, Steering Committee of ACM MobiCom.
Membership in Technical Program Committees:
Wireless Communications and Networking Conference 2004 (WCNC 2004), Atlanta, Georgia (March 21–25, 2004).
The 2003 ACM Workshop on Security of Ad Hoc and Sensor Networks, George Mason University, Fairfax, Virginia (October 31, 2003).
IPSN 2004, Berkeley, California (April 27–28, 2004).
The Fifth IEEE Conference on Mobile and Wireless Communications Networks (IEEE MWCN 2003), Singapore
(October 27–29, 2003).
Fall IEEE VTC, Orlando, Florida (October 4–9, 2003).
The Ninth Annual International Conference on Mobile Computing and Networking, San Diego, California (September 14–19, 2003).
The Fourteenth IEEE International Symposium on Personal, Indoor, and Mobile Radio Communications, Beijing, China (September 7–10, 2003).
The Third Workshop on Applications and Services in Wireless Networks (ASWN 2003), Berne, Switzerland (July 2–4, 2003).

UNIVERSITY ACTIVITIES
Elected Member, ECE Policy Committee.
Member, ECE Recruiting Committee.
Member, ECE Ad Hoc Tenure Promotion Committee.
Member, Ad Hoc Tenure Promotion Committee, College of Engineering.

AWARDS AND HONORS
Distinguished Lecturer, IEEE Communications Society (2004–2005).
Michael Tien ’72 Award, Cornell College of Engineering Excellence in Teaching Award for 2002–2003
(November 2003).

>>
Joseph Halpern
Professor
Director of Graduate Studies
halpern@cs.cornell.edu
http://www.cs.cornell.edu/home/halpern/

Joseph Halpern received a B.Sc. in mathematics from the University of Toronto in 1975 and a Ph.D. in mathematics from Harvard in 1981. In between, he spent two years as the head of the Mathematics Department at Bawku Secondary School, in Ghana. After a year as a visiting scientist at M.I.T., he joined the IBM Almaden Research Center in 1982, where he remained until 1996, also serving as a consulting professor at Stanford. In 1996, he joined CS at Cornell.

Halpern’s major research interests are in reasoning about knowledge and uncertainty, security, distributed computation, and decision theory. Together with his former student, Yoram Moses, he pioneered the approach of applying reasoning about knowledge to analyzing distributed protocols and multi-agent systems. He has coauthored five patents; two books, Reasoning About Knowledge and Reasoning About Uncertainty; and more than 200 technical publications.

PUBLICATIONS
Reasoning About Uncertainty, M.I.T. Press (2003).
Reasoning About Knowledge, M.I.T. Press (2003). ). (Paperback edition; originally published in 1995.) (With R. Fagin, Y. Moses, and M. Vardi).
“Common Knowledge Revisited”. In Knowledge Contributors (V. Henricks, K. Jorgensen, and S. Pedersen, eds.), Kluwer, 2003, 87–104. (With R. Fagin, Y. Moses, and M. Vardi). [This is a reprint of an article originally published in Annals of Pure and Applied Logic in 1999.]
“A Computer Scientist Looks at Game Theory”. Games and Economic Behavior 45(1): 114–132 (2003).
“A Logical Reconstruction of SPKI”. Journal of Computer Security 11(4): 581–614 (2003). (With R. van der Meyden).
“Representation Dependence in Probabilistic Inference”. Journal of Artificial Intelligence Research 319–356
(2004). (With D. Koller).
“Using First-order Logic to Reason About Policies”. Proceedings of the Sixteenth IEEE Computer Security Foundations Workshop 187–201, (July 2003). (With V. Weissman).
“Anonymity and Information Hiding in Multiagent Systems”. Proceedings of the Sixteenth IEEE Computer Security Foundations Workshop 75–88 (July 2003). (With K. O’Neill).
“Great Expectations. Part I: On the Customizability of Generalized Expected Utility”. Proceedings of the IJCAI 291–296 (August 2003). (With F. Chu).
“Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule”. Proceedings of the IJCAI 297–302 (August 2003). (With F. Chu).
“Responsibility and Blame: A Structural-model Approach”. Proceedings of the IJCAI 147–153 (August 2003). (With H. Chockler).
“A Logic for Reasoning About Evidence”. Proceedings of the Nineteenth Conference on Uncertainty in AI 297–304 (August, 2003). (With R. Pucella).
“Rational Secret Sharing and Multiparty Computation”. Proceedings of the Thirty-sixth ACM Symposium on the Theory of Computing (June 2004). (With V. Teague).
“Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems”. Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004) (June 2004).
“Intransitivity and Vagueness”. Ninth KR (June 2004).

LECTURES
Characterizing the Common Prior Assumption, Fifteenth Italian Meeting on Game Theory and Applications, Urbino, Italy (July 2003).
Rational Secret Sharing and Multiparty Computation, Cowles Foundation Workshop on Complexity in Economic Theory, Yale University (September 2003).
Reasoning About Uncertainty in Multiagent Systems, The International Symposium on Modern Computing, Ames, Iowa (October 2003).
A Decision-theoretic Approach to the Design, Analysis, and Specification of Systems, University of Iowa (October 2003).
Reaso