8.1 Faculty

Next: 8.2 Advanced Students Up: 8. Personnel Previous: 8. Personnel

8.1 Faculty

Dana AngluinSenior Research Scientist in Computer Science
B.A. 1969, Ph.D. 1976 University of California at Berkeley
MAJOR INTERESTS:
Computational learning theory, analysis of algorithms

REPRESENTATIVE PUBLICATIONS:


	``Computational Learning Theory,'' Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing, 351-369, 1992.
	``Learning Conjunctions of Horn Clauses,'' with Michael Frazier and Leonard Pitt, Machine Learning 9, 147-164, 1992.
	``When Won't Membership Queries Help?,'' with Michael Kharitonov, JCSS 50, 336-355, 1995.

James AspnesAssociate Professor of Computer Science

B.S. 1987, Mathematics, MIT; M.S. 1987, Electrical Enginnering and Computer Science, MIT; Ph.D. 1992 Computer Science, Carnegie Mellon

MAJOR INTERESTS:

Randomized algorithms, distributed algorithms, on-line algorithms

REPRESENTATIVE PUBLICATIONS:

``Counting networks,'' with Maurice Herlihy and Nir Shavit. Journal of the Association for Computing Machinery 41(5):1020-1048, September 1994. An earlier version appeared under the title ``Counting networks and multiprocessor coordination,'' in Twenty-Third Annual ACM Symposium on Theory of Computing, May 1991, pp. 348-358.

``Spreading rumors rapidly despite an adversary,'' with William Hurwood. Fifteenth Annual ACM Symposium on Principles of Distributed Computing, May 1996, pp. 143-151.

``Lower bounds for distributed coin-flipping and randomized consensus.'' Twenty-Ninth Annual ACM Symposium on Theory of Computing, May 1997, pp. 559-568. To appear, J. ACM.

Peter N. BelhumeurAssociate Professor of Electrical Engineering and Computer Science

Sc.B. 1985, Brown University; S.M., 1991, Ph.D. 1993, Harvard University.

MAJOR INTERESTS:

Computational vision, image processing, biometrics, human computer interaction, image-based rendering, bayesian estimation

REPRESENTATIVE PUBLICATIONS:

``The Bas-Relief Ambiguity,'' with D. Kriegman and A. Yuille. Accepted for publication in Int. Journal of Computer Vision (1998).

``Representations for Recognition Under Variable Illumination,'' with A. Georghiades and D. Kriegman. To appear in Shape, Contour, and Grouping, D. Forsyth (ed.), Kluwer Academic Press (1998).

``What Is the Set of Images of an Object Under All Possible Illumination Conditions?'' with D. Kriegman. Int. Journal of Computer Vision 28, 3 (1998).

Nicholas CarrieroResearch Scientist in Computer Science

B.S. 1980, Brown University; M.S. 1983, SUNY at Stony Brook; Ph.D. 1987, Yale University

MAJOR INTERESTS:

The development and application of software tools for coordination

REPRESENTATIVE PUBLICATIONS:

``From weaving threads to untangling the web: A view of coordination from Linda's perspective'' with R. Bjornson, D. Gelernter. In Coordination Languages and Models, D. Garlan and D. Le Métayer editors, volume 1282 of Lecture Notes in Computer Science, pages 1-17, Springer-Verlag, 1997.

``Adaptive parallelism and Piranha'' with E. Freeman, D. Gelernter, and D. Kaminsky. IEEE Computer, 28(4), January 1995.

``Coordination Languages and their Significance,'' with D. Gelernter Communications of the ACM 35(2), 1992, pp. 97-107.

Hongwei ChengAssociate Research Scientist in Computer Science

B.S. 1987, Zhejiang University; M.S. 1990, Chinese Academy of Sciences; Ph.D. 1995, New York University

MAJOR INTERESTS:

Major Interests: Numerical solutions of differential equations, numerical solutions of integral equations, composite materials, and fluid dynamics.

REPRESENTATIVE PUBLICATIONS:

``Slow Flow Past Periodic Arrays of Spheres at Low Reynolds Number,'' with G. Papanicolaou, J. Fluid Mech. 335, 189-212, 1997.

``Effective Conductivity of Dispersions of Sphere with a Superconducting Interface,'' with S. Torquato. , Proc. R. Soc. Lond. A. 453, 1331-1344, 1997.

``A Method of Images for the Evaluation of Electrostatic Fields in Systems of Closely Spaced Conducting Cylinders,'' with L. Greengard, Technical Report 95-007, Courant Mathematics and Computing Laboratory, New York University, July 1995. Also to appear in SIAM J. Appl. Math.

Israel CohenPostdoctoral Associate in Computer Science

B.S. 1990, M.S. 1993, D.Sc. 1998, Electrical Engineering, Technion--IIT, Haifa, Israel

MAJOR INTERESTS:

Wavelet methods for signal processing, image and data compression, classification, detection, pattern recognition, time-frequency analysis, de-noising

REPRESENTATIVE PUBLICATIONS:

``Orthonormal shift-invariant wavelet packet decomposition and representation,'' with D. Malah. Signal Processing 57, 3, (1997), 251-270.
``Orthonormal shift-invariant adaptive local trigonometric decomposition,'' with S. Raz and D. Malah. Signal Processing 57, 1 (1997), 43-64.
``Adaptive suppression of Wigner interference using shift-invariant wavelet packet decompositions,'' with S. Raz and D. Malah. To appear in Signal Processing.

Ronald R. CoifmanProfessor of Mathematics

Ph.D. 1965, University of Geneva

MAJOR INTERESTS:

Nonlinear Fourier analysis, wavelet theory, numerical analysis and scattering theory. Also development of mathematical tools for efficient transcription of Physical data, with applications to feature extraction recognition and denoising

REPRESENTATIVE PUBLICATIONS:

``Local Discriminant Bases and their Applications,'' with N. Saito. Journal of Mathematical Images and Vision 5, 1995.
``Gaussian Bases,'' with Y. Meyer. Applied and Computational Harmonic Analysis 2, 1995.
``Fast Numerical Computations of Oscillatory Integrals Related to Acoustic Scattering,'' with B. Bradie and A. Grossman. Appl. and Comp. Harmonic Analysis 1 (1993), 94-99.

Robert L. DunneLecturer of Computer Science, Co-Director Center for Internet Studies

B.A. 1972, Fordham University; Juris Doctor, 1996, The University of Connecticut School of Law

MAJOR INTERESTS:

Cyberlaw; behavioral control in cyberspace; intellectual property; personal privacy; liability for failure of software systems; computational forensic tools

REPRESENTATIVE PUBLICATIONS:

``Internet Crime,'' in The Encyclopedia of Forensic Sciences, Academic Press, 2000 (forthcoming)

``Foreword: Digital Evidence and Computer Crime,'' Forensic Science, Computers, and the Internet, Eoghan Casey, Academic Press, 1999
Foreword to the Spring 1999 Edition, J. of Technology, Law, and Politics,, 1999
``Deterring Unauthorized Access to Computers: Controlling Behavior in Cyberspace through a Contract Law Paradigm,'' JURIMETRICS, American Bar Association Journal of Law, Science and Technology, Fall, 1994.

Stanley C. EisenstatProfessor of Computer Science
Director of Undergraduate Studies

B.S. 1966, Case Institute of Technology; M.S. 1967, Ph.D. 1972, Stanford University

MAJOR INTERESTS:

Numerical analysis (linear and nonlinear algebra), parallel computing

REPRESENTATIVE PUBLICATIONS:

``A Fan-in Algorithm for Distributed Sparse Numerical Factorization,'' with Cleve Ashcraft and J. W. H. Liu, SIAM Journal on Scientific and Statistical Computing, 11(3), 1990.
``Globally Convergent Inexact Newton Methods,'' with H. F. Walker, SIAM Journal on Optimization, 4(2), 1994.
``Relative Perturbation Techniques for Singular Value Problems,'' with Ilse C. F. Ipsen, SIAM Journal on Numerical Analysis, 32(6), 1995.

Michael J. FischerProfessor of Computer Science

B.S. 1963, University of Michigan; M.A. 1965, Ph.D. 1968, Harvard University

MAJOR INTERESTS:

Theory of distributed systems, cryptographic protocols, analysis of algorithms and data structures, theory of programming languages and software, mathematical theory of computation and computational complexity

REPRESENTATIVE PUBLICATIONS:

``Reliable Communication over Unreliable Channels,'' with Y. Afek, H. Attiya, A. Fekete, N. Lynch, Y. Mansour, D.-W. Wang, and L. Zuck. J. ACM, 41(6):1267-1297, 1994.
``Bounds on Secret Key Exchange Using A Random Deal of Cards,'' with R. N. Wright. J. Cryptology, 9(2):71-99, 1996.
``The Wakeup Problem,'' with S. Moran, S. Rudich, and G. Taubenfeld. SIAM J. Comput., 25(6):1332-1357, 1996.

David GelernterProfessor of Computer Science

B.A. 1976, M.A. 1977, Yale University; Ph.D. 1982, SUNY at Stony Brook

MAJOR INTERESTS:

Programming languages and communication systems

REPRESENTATIVE PUBLICATIONS:

``Coordination Languages and their Significance,'' with Nicholas Carriero, Communications of the ACM 35 (2) 1992, pp. 97-107.

``Supercomputing out of Recycled Garbage: Preliminary Experience with Piranha,'' with David Kaminsky, Proceedings of the 1992 ACM International Conference on Supercomputing, July 1992.

``A Software Architecture for Acquiring Knowledge from Cases,'' with Scott Fertig,Proceedings of the International Joint Conference on Artificial Intelligence, August 1991.

Dana HenryAssistant Professor of Electrical Engineering and Computer Science

S.B. 1988, S.M. 1990, Ph.D. 1996, Massachusetts Institute of Technology

MAJOR INTERESTS:

Computer architecture, hardware and software mechanisms that improve the efficiency of a wide range of computer systems, from embedded microprocessors to supercomputers, mechanisms for fast interprocessor communication

REPRESENTATIVE PUBLICATIONS:

``Adding Fast Interrupts to Superscalar Processors,'' CSG Memo 366, MIT Laboratory for Computer Science, Cambridge, MA, 1994.
``A Tightly-Coupled Processor-Network Interface,,'' with C. F. Joerg, Proc. 5th International Conf. Architectural Support for Programm. Lang. and Operating Systems (ASPLOS '92), Boston, MA, October, 111-122, 1992. Also in SIGARCH Computer Architecture News, Special Issue 20, 1992.
``Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow,'' Technical Report 487, MIT Laboratory for Computer Science, Cambridge, MA, May 1991.

Michael HinesResearch Scientist in Computer Science

B.S. 1970, Michigan State University; S.M. 1972 Ph.D. 1975, University of Chicago

MAJOR INTERESTS:

Computational Neuroscience, numerical simulation

REPRESENTATIVE PUBLICATIONS:

``Computer Modeling Methods for Neurons'' with N. T. Carnevale. In: The Handbook of Brain Theory and Neural Networks (1995), pp. 226-230. M. Arbib (ed), MIT Press.
``NEURON--A program for simulation of nerve equations,'' in Neural Systems: Analysis and Modeling, F. Eeckman (ed), Kluwer Academic Publishers, 1993, pp. 127-136.
``A computational test of the requirements for conduction in demyelinated axons'' with Peter Shrager, J. Restorative Neurology and Neuroscience 3 (1991), pp. 81-93.

Paul HudakProfessor of Computer Science
Chairman

B.S. 1973, Vanderbilt University; M.S. 1974, Massachusetts Institute of Technology; Ph.D. 1982, University of Utah

MAJOR INTERESTS:

Functional programming, theory of programming languages, multimedia programming.

REPRESENTATIVE PUBLICATIONS:

``An Algebraic Model for Divide-and-Conquer and its Parallelism,'' with Z. G. Mou, Journal of Supercomputing, 2(3), 1988.

``Monad Transformers and Modular Interpreters,'' with Sheng Liang and Mark Jones. Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, ACM Press, January 1995.

``Haskore Music Notation--An Algebra of Music,'' with Tom Makucevich, Syam Gadde, and Bo Whong, Journal of Functional Programming, Cambridge University Press, 6(3), June 1996.

Ravi KannanProfessor of Computer Science and Applied Mathematics

B.Tech. 1974, Indian Institute of Technology, Bombay; Ph.D.1980, Cornell University

MAJOR INTERESTS:

Theoretical computer science, discrete mathematics, geometric and randomized algorithms, applications to operations research, linear algebra.

REPRESENTATIVE PUBLICATIONS:

``A Random Polynomial Time Algorithm for Approximating the Volume of Convex Bodies,'' with M. Dyer and A. M. Frieze, Journal of the Association for Computing Machinary 38(1), January 1991.

``A Polynomial-time Algorithm for Learning Noisy Linear Threshold Functions,'' Algorithmica 22, pages. 35-52, 1998.

``Clustering in Large Graphs and Matrices,'' in Proc. Sympo. on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1998.

Ming-Yang KaoVisiting Associate Professor of Computer Science

B.S. 1978, National Taiwan University; Ph.D.1986, Yale University

MAJOR INTERESTS:

Algorithms and applications, computational biology, computational finance, online algorithms, parallel algorithms, data security

REPRESENTATIVE PUBLICATIONS:

``Tree Contractions and Evolutionary Trees''. SIAM Journal on Computing, 1997. In press.
``On-line Difference Maximization, with S. R. Tate. In Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 175-182, 1997.
``Data Compression Techniques for Stock Market Prediction,'' with S. Azhar, G. J. Badros, A. Glodjo, and J. H. Reif. In Proceedings of the 1994 IEEE Data Compression Conference, pp. 72-82, 1994.

Arvind KrishnamurthyAssistant Professor of Computer Science

B.Tech. 1991, Computer Science, IIT Madras, Madras; M.S. 1994, Ph.D. 1998, Computer Science, University of California, Berkeley

MAJOR INTERESTS:

Cluster and parallel computing, compilers, computer architecture, performance modeling, high-speed networks, storage devices

REPRESENTATIVE PUBLICATIONS:

``Modeling Communication Pipeline Latency,'' with R. Wang, R. Martin, T. Anderson, and D. Culler. Proceedings of Sigmetrics'98 Conference on the Measurement and Modeling of Computer Systems, 1998.

``Evaluation of Architectural Support for Global Address-Based Communication in Large-Scale Parallel Machines,'' with K. Schauser, C. Scheiman, R. Wang, D. Culler, and K. Yelick. Proceedings of Architecture Support for Programming Languages and Operating Systems, 1996.

``Analyses and Optimizations for Shared Address Space Programs,'' with K. Yelick. Journal of Parallel and Distributed Computation, 1996.

Bradley C. KuszmaulAssistant Professor of Computer Science

B.S. (Mathematics) 1984, B.S. (Computer Science and Engineering) 1984, M.S. (Electrical Engineering and Computer Science) 1986, Ph.D. (Computer Science) 1994, Massachusetts Institute of Technology

MAJOR INTERESTS:

Software and hardware mechanisms for predictable high-performance computing, including compilers, operating systems, networks, computer architecture, and parallel computing. Computer chess on parallel computers, algorithmic multithreading, dataflow processors, and beautiful hacks.

REPRESENTATIVE PUBLICATIONS:

``A Comparison of Scalable Superscalar Processors,'' (with Dana Henry, and Gabriel Loh), in Eleventh ACM Sympo. on Parallel Algorithms and Architectures, pages 27-30, June, 1999.

``The Network Architecture of the Connection Machine CM-5,'' with C. E. Leiserson, et. al. J. Parallel and Distributed Computing 33(2), 1996, 145-158. Available as [0] ftp://theory.lcs.mit.edu [0] /pub/bradley/ [0]jpdc96.ps.Z.
``Cilk: An Efficient Multithreaded Runtime System,'' with R. D. Blumofe, C. F. Joerg, C. E. Leiserson, K. H. Randall, and Y. Zhou. Journal of Parallel and Distributed Computing 37(1), 1996, 55-69. Available as [0] ftp://theory.lcs.mit.edu [0] /pub/bradley/ [0]PPoPP95.ps.Z

László LovászProfessor of Computer Science and Mathematics

Ph.D. 1971 Mathematics, Eötvös Loránd University, Hungary Ph.D. 1977, Mathematical Sciences, Hungarian Academy of Sciences

MAJOR INTERESTS:

Discrete mathematics, in particular its applications in the theory of algorithms and the theory of computing.

REPRESENTATIVE PUBLICATIONS:

Combinatorial Problems and Exercises, Akadémiai Kiadó--North Holland, Budapest, 1979. (Japanese translation: Tokai Univ. Press, 1988.)
Matching Theory, with M. D. Plummer. Akdémiai Kiadó--North Holland, Budapest, 1986.
``An Algorithmic Theory of Numbers, Graphs, and Convexity,'' CBMS-NSF Regional Conference Series in Applied Mathematics 50, SIAM, Philadelphia, Pennsylvania 1986.

Drew McDermottProfessor of Computer Science
Director of Graduate Studies

B.S., M.S. 1973, Ph.D. 1976, Massachusetts Institute of Technology

MAJOR INTERESTS:

Robot planning, robot navigation, computer vision, agent communication

REPRESENTATIVE PUBLICATIONS:

``Derivation of glue code for agent interoperation'' (with Mark Burstein, Douglas Smith, and Steven Westfold), to appear, Proc. Agents 2000, May, 2000.

``Using Regression-match Graphs to Control Search in Planning,'' Artificial Intelligence 109, (1-2), pp. 111-159. 1999.

``Visual place recognition for autonomous robots'' (with Hemant Tagare and Hong Xiao), Proc. Int'l. Conf. on Robotics and Automation, 1998.

René PeraltaVisiting Associate Professor of Computer Science

B.S. Hamilton College; M.S. SUNY Binghamton; Ph.D. University of California, Berkeley

MAJOR INTERESTS:

Cryptology, algorithmic number theory, electronic commerce

REPRESENTATIVE PUBLICATIONS:

``Subquadratic Zero-knowledge,'' (with J. Boyar and G. Brassard), JACM 42(6), pages 1169-1193, 1995.

``Asymptotic Semismoothness Probabilities,'' (with Eric Bach), Mathematics of Computation 65(216), pages 1710-1715, 1996.

``On the Multiplicative Complexity of Boolean Functions over the Basis (AND, XOR, 1)'' (with J. Boyar and D. Pochuev), Theoretical Computer Science, (in press), 1999.

John PetersonAssociate Research Scientist in Computer Science

B.S. 1976, University of Denver; M.S. 1979, University of Colorado; Ph.D. 1984, University of Utah

MAJOR INTERESTS:

Compilation of non-traditional languages, compiler design, register allocation, peephole optimization, portable code generation

REPRESENTATIVE PUBLICATIONS:

Report on the Programming Language Haskell, Version 1.3, May 1996, with Paul Hudak, Simon Peyton Jones et al.
``Implementing Type Classes``, with Mark Jones. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1993.
``Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time''. Proceedings of the 1989 Conference on Functional Programming Languages and Computer Architecture, 1989, pp. 89-99.

Diana ResascoAssociate Research Scientist in Computer Science

B.S. 1977, Universidad Nacional del Sur, Bahia Blanca, Argentina; M.S. 1985, Ph.D., 1990, Yale University

MAJOR INTERESTS:

Scientific Computation, in particular, the numerical solution of partial differential equations, parallel computation, numerical simulation of diffusion-reaction models in living cells.

REPRESENTATIVE PUBLICATIONS:

``Electro-diffusion of Ions inside Living Cells'' (with V.S. Choi, J. Schaff, and B. Slepchenko), IMA J. Appl. Math. 62, pp. 207-226, 1999.

``A Parallel 3D Parabolic Wave Equation Solver for Underwater Acoustics,'' with D. Lee, F. Saied and M. H. Schultz, Environmental Acoustics, D. Lee and M. Schultz eds., World Sci. Pub. 1994.
``A 3D Parabolic Wave Equation Solver,'' with D. Lee, F. Saied and M. Schultz. In Theoretical and Computational Acoustics 2, D. Lee and M. Schultz, eds., 1994.

Vladimir RokhlinProfessor of Computer Science and Mathematics

M.S. 1973, Vilnius University; Ph.D. 1983, Rice University

MAJOR INTERESTS:

Numerical scattering theory, elliptic partial differential equations, numerical solution of integral equations, quadrature formulae for singular functions, numerical linear algebra, and large-scale particle simulations

REPRESENTATIVE PUBLICATIONS:

``Rapid Solution of Integral Equations of Scattering Theory in Two Dimensions,'' Journal of Computational Physics, 86 (2), 1990
``On the Inverse Scattering Problem for the Helmholtz Equation In One Dimension,'' with Yu Chen, Inverse Problems, 8, 1992, pp. 365-391.

``A new version of the Fast Multipole Method for the Laplace equation in three dimension'' with Leslie Greengard. Acta Numerica, 1997, pp. 229-269.

Martin SchultzArthur K. Watson Professor of Computer Science
Director, Research Center for Scientific Computation

B.S. 1961, California Institute of Technology; A.M. 1962, Ph.D. 1965, Harvard University

MAJOR INTERESTS:

Numerical analysis, scientific computing

REPRESENTATIVE PUBLICATIONS:

``Accelerating ADI Methods on Parallel Processors,'' with Craig Douglas and Sachit Malhotra, Yale CS Tech Report, 1996.
``Numerical Ocean Acoustic Propagation in Three Dimensions,'' with Ding Lee, World Scientific, 1995.
``Efficient Parallel Programming with Linda,'' with Ashish Deshpande, Proceedings of the Supercomputing'92 Conference, November 1992.

Zhong ShaoAssistant Professor of Computer Science

B.S. 1988, University of Science and Technology of China; M.A. 1991, Ph.D. 1994, Princeton University

MAJOR INTERESTS:

Systems software for modern type-safe languages (e.g., ML and Java), interaction of languages and compilers with operating systems and computer architectures; formal methods.

REPRESENTATIVE PUBLICATIONS:

``Representing Java Classes in a Typed Intermediate Language'' (with C. League and V. Trifonov), Proc. ACM SIGPLAN Intl. Conf. on Functional Programming, Paris, France, September, 1999

``Transparent Modules with Fully Syntactic Signatures,'' Proc. ACM SIGPLAN Intl. Conf. on Functional Programming, Paris, France, September, 1999

``Safe and Principled Language Interoperation'' (with V. Trifonov), Proc. 1999 European Sympo. on Programming, Amsterdam, The Netherlans, March, 1999. Published in S. Doaitse Swierstra (ed.) Lecture Notes in Computer Science 1576, Springer-Verlag, 1999

Rolf Eric Stratmann GonzalezAssociate Research Scientist

B.S. 1984, I.T.E.S.M.; M.S. 1987; Ph.D. 1994, Texas A & M University

MAJOR INTERESTS:

Computational chemistry and biology, development of novel new theoretical methods and algorithms

REPRESENTATIVE PUBLICATIONS:

``A graphical unitary group approach to study multiplet-specific multichannel electron correlation effects in the photoionization of O2,'' with Robert R. Lucchese. J. Chem. Phys. 102, 8, 493-505 (1995).
``Achieving linear scaling in exchange-correlation density functional quadratures,'' with Gustavo E. Scuseria and Michael J. Frisch. Chem. Phys. Lett. 257, (1996) 213-223.
``Improving harmonic vibrational frequencies calculations in density functional theory,'' with John C. Burant, Gustavo E. Scuseria and Michael J. Frisch. J. Chem. Phys. 106, 10 (1997) 175-183.

Valery TrifonovPostdoctoral Research Associate

M.S. 1985, Physics, Sofia University; Ph.D. 1997, Computer Science, Johns Hopkins University

MAJOR INTERESTS:

Programming languages: typed intermediate languages, type systems for object-oriented languages, constraint-based and effect type systems, flow analysis.

REPRESENTATIVE PUBLICATIONS:

``Representing Java Classes in a Typed Intermediate Language'' (with Christopher League and Zhong Shao), Proc. 4th ACM SIGPLAN Int'l. Conf. on Functional Programming, 1999.

``Safe and Principled Language Interoperation'' (with Zhong Shao), Proc. 8th European Sympo. on Programming. Lecture Notes in Computer Science 1576, pages 128-146, Springer-Verlag, 1999.

``Subtyping Constrained Types,'' with Scott F. Smith. Proceedings of the 3rd International Symposium on Static Analysis, 1996, pp. 349-365.

Edward TufteProfessor of Political Science, Statistics, and Computer Science and a Senior Critic in Graphic Design, Emeritus

B.S. 1963 M.S. 1964 Statistics, Stanford University; Ph.D. 1968 Political Science, Yale University; Honorary Doctorates from Cooper Union and Connecticut College

MAJOR INTERESTS:

Information design, statistical graphics, images as evidence, and scientific visualization

REPRESENTATIVE PUBLICATIONS:

``The Visual Display of Quantitative Information'' Graphics Press, 1983.

``Envisioning Information,'' Graphics Press, 1990.

``Visual Explanations: Images and Quantities, Evidence and Narrative,'' Graphics Press, 1996.

Norman YarvinPostdoctoral Associate in Computer Science

B.S., M.S. 1989, Johns Hopkins; Ph.D.1997, Computer Science, Yale University

MAJOR INTERESTS:

Numerical solution of differential equations, quadrature formulae, integral equations

REPRESENTATIVE PUBLICATIONS:

``Generalized Gaussian Quadratures and Singular Value Decompositions of Integral Operators,'' with V. Rokhlin, SIAM Journal on Scientific Computing, to appear.

``An Improved Fast Multipole Algorithm for Potential Fields on the Line,'' with V. Rokhlin. SIAM Journal on Numerical Analysis, to appear.

Steven ZuckerDavid and Lucile Packard Professor of Computer Science and Electrical Engineering

B. Eng. Carnegie-Mellon University; M. Eng., Ph.D. Drexel University

MAJOR INTERESTS:

Computational vision, computational neuroscience, image analysis, robotics

REPRESENTATIVE PUBLICATIONS:

``Evidence for boundary-specific grouping in human vision,'' with J. Elder. Vision Research 38(1), pages 143-152, 1998.

``Computing with Self-Excitatory Cliques: A Model and An Application to Hyperacuity-scale Computation in Visual Cortex,'' with D. Miller. Neural Computation 11(1), pages 21-66, 1999

``Shock Graphs and Shape Matching'' (with K. Siddiqi, A. Shokoufandeh, S. Dickinson), Int'l. J. of Computer Vision, in press, 1999

Next: 8.2 Advanced Students Up: 8. Personnel Previous: 8. Personnel Drew McDermott
2000-01-18

James AspnesAssociate Professor of Computer Science
B.S. 1987, Mathematics, MIT; M.S. 1987, Electrical Enginnering and Computer Science, MIT; Ph.D. 1992 Computer Science, Carnegie Mellon
MAJOR INTERESTS:
Randomized algorithms, distributed algorithms, on-line algorithms

REPRESENTATIVE PUBLICATIONS:


	``Counting networks,'' with Maurice Herlihy and Nir Shavit. Journal of the Association for Computing Machinery 41(5):1020-1048, September 1994. An earlier version appeared under the title ``Counting networks and multiprocessor coordination,'' in Twenty-Third Annual ACM Symposium on Theory of Computing, May 1991, pp. 348-358.
	``Spreading rumors rapidly despite an adversary,'' with William Hurwood. Fifteenth Annual ACM Symposium on Principles of Distributed Computing, May 1996, pp. 143-151.
	``Lower bounds for distributed coin-flipping and randomized consensus.'' Twenty-Ninth Annual ACM Symposium on Theory of Computing, May 1997, pp. 559-568. To appear, J. ACM.

Peter N. BelhumeurAssociate Professor of Electrical Engineering and Computer Science
Sc.B. 1985, Brown University; S.M., 1991, Ph.D. 1993, Harvard University.
MAJOR INTERESTS:
Computational vision, image processing, biometrics, human computer interaction, image-based rendering, bayesian estimation

REPRESENTATIVE PUBLICATIONS:

	``The Bas-Relief Ambiguity,'' with D. Kriegman and A. Yuille. Accepted for publication in Int. Journal of Computer Vision (1998).
	``Representations for Recognition Under Variable Illumination,'' with A. Georghiades and D. Kriegman. To appear in Shape, Contour, and Grouping, D. Forsyth (ed.), Kluwer Academic Press (1998).
	``What Is the Set of Images of an Object Under All Possible Illumination Conditions?'' with D. Kriegman. Int. Journal of Computer Vision 28, 3 (1998).

Nicholas CarrieroResearch Scientist in Computer Science
B.S. 1980, Brown University; M.S. 1983, SUNY at Stony Brook; Ph.D. 1987, Yale University
MAJOR INTERESTS:
The development and application of software tools for coordination

REPRESENTATIVE PUBLICATIONS:


	``From weaving threads to untangling the web: A view of coordination from Linda's perspective'' with R. Bjornson, D. Gelernter. In Coordination Languages and Models, D. Garlan and D. Le Métayer editors, volume 1282 of Lecture Notes in Computer Science, pages 1-17, Springer-Verlag, 1997.
	``Adaptive parallelism and Piranha'' with E. Freeman, D. Gelernter, and D. Kaminsky. IEEE Computer, 28(4), January 1995.
	``Coordination Languages and their Significance,'' with D. Gelernter Communications of the ACM 35(2), 1992, pp. 97-107.

Hongwei ChengAssociate Research Scientist in Computer Science
B.S. 1987, Zhejiang University; M.S. 1990, Chinese Academy of Sciences; Ph.D. 1995, New York University
MAJOR INTERESTS:
Major Interests: Numerical solutions of differential equations, numerical solutions of integral equations, composite materials, and fluid dynamics.

REPRESENTATIVE PUBLICATIONS:


	``Slow Flow Past Periodic Arrays of Spheres at Low Reynolds Number,'' with G. Papanicolaou, J. Fluid Mech. 335, 189-212, 1997.
	``Effective Conductivity of Dispersions of Sphere with a Superconducting Interface,'' with S. Torquato. , Proc. R. Soc. Lond. A. 453, 1331-1344, 1997.
	``A Method of Images for the Evaluation of Electrostatic Fields in Systems of Closely Spaced Conducting Cylinders,'' with L. Greengard, Technical Report 95-007, Courant Mathematics and Computing Laboratory, New York University, July 1995. Also to appear in SIAM J. Appl. Math.

Israel CohenPostdoctoral Associate in Computer Science
B.S. 1990, M.S. 1993, D.Sc. 1998, Electrical Engineering, Technion--IIT, Haifa, Israel
MAJOR INTERESTS:
Wavelet methods for signal processing, image and data compression, classification, detection, pattern recognition, time-frequency analysis, de-noising

REPRESENTATIVE PUBLICATIONS:


	``Orthonormal shift-invariant wavelet packet decomposition and representation,'' with D. Malah. Signal Processing 57, 3, (1997), 251-270.
	``Orthonormal shift-invariant adaptive local trigonometric decomposition,'' with S. Raz and D. Malah. Signal Processing 57, 1 (1997), 43-64.
	``Adaptive suppression of Wigner interference using shift-invariant wavelet packet decompositions,'' with S. Raz and D. Malah. To appear in Signal Processing.

Ronald R. CoifmanProfessor of Mathematics
Ph.D. 1965, University of Geneva
MAJOR INTERESTS:
Nonlinear Fourier analysis, wavelet theory, numerical analysis and scattering theory. Also development of mathematical tools for efficient transcription of Physical data, with applications to feature extraction recognition and denoising

REPRESENTATIVE PUBLICATIONS:


	``Local Discriminant Bases and their Applications,'' with N. Saito. Journal of Mathematical Images and Vision 5, 1995.
	``Gaussian Bases,'' with Y. Meyer. Applied and Computational Harmonic Analysis 2, 1995.
	``Fast Numerical Computations of Oscillatory Integrals Related to Acoustic Scattering,'' with B. Bradie and A. Grossman. Appl. and Comp. Harmonic Analysis 1 (1993), 94-99.

Robert L. DunneLecturer of Computer Science, Co-Director Center for Internet Studies
B.A. 1972, Fordham University; Juris Doctor, 1996, The University of Connecticut School of Law
MAJOR INTERESTS:
Cyberlaw; behavioral control in cyberspace; intellectual property; personal privacy; liability for failure of software systems; computational forensic tools

REPRESENTATIVE PUBLICATIONS:


	``Internet Crime,'' in The Encyclopedia of Forensic Sciences, Academic Press, 2000 (forthcoming)
	``Foreword: Digital Evidence and Computer Crime,'' Forensic Science, Computers, and the Internet, Eoghan Casey, Academic Press, 1999
	Foreword to the Spring 1999 Edition, J. of Technology, Law, and Politics,, 1999
	``Deterring Unauthorized Access to Computers: Controlling Behavior in Cyberspace through a Contract Law Paradigm,'' JURIMETRICS, American Bar Association Journal of Law, Science and Technology, Fall, 1994.

Stanley C. EisenstatProfessor of Computer Science Director of Undergraduate Studies
B.S. 1966, Case Institute of Technology; M.S. 1967, Ph.D. 1972, Stanford University
MAJOR INTERESTS:
Numerical analysis (linear and nonlinear algebra), parallel computing

REPRESENTATIVE PUBLICATIONS:


	``A Fan-in Algorithm for Distributed Sparse Numerical Factorization,'' with Cleve Ashcraft and J. W. H. Liu, SIAM Journal on Scientific and Statistical Computing, 11(3), 1990.
	``Globally Convergent Inexact Newton Methods,'' with H. F. Walker, SIAM Journal on Optimization, 4(2), 1994.
	``Relative Perturbation Techniques for Singular Value Problems,'' with Ilse C. F. Ipsen, SIAM Journal on Numerical Analysis, 32(6), 1995.

Michael J. FischerProfessor of Computer Science
B.S. 1963, University of Michigan; M.A. 1965, Ph.D. 1968, Harvard University
MAJOR INTERESTS:
Theory of distributed systems, cryptographic protocols, analysis of algorithms and data structures, theory of programming languages and software, mathematical theory of computation and computational complexity

REPRESENTATIVE PUBLICATIONS:


	``Reliable Communication over Unreliable Channels,'' with Y. Afek, H. Attiya, A. Fekete, N. Lynch, Y. Mansour, D.-W. Wang, and L. Zuck. J. ACM, 41(6):1267-1297, 1994.
	``Bounds on Secret Key Exchange Using A Random Deal of Cards,'' with R. N. Wright. J. Cryptology, 9(2):71-99, 1996.
	``The Wakeup Problem,'' with S. Moran, S. Rudich, and G. Taubenfeld. SIAM J. Comput., 25(6):1332-1357, 1996.

David GelernterProfessor of Computer Science
B.A. 1976, M.A. 1977, Yale University; Ph.D. 1982, SUNY at Stony Brook
MAJOR INTERESTS:
Programming languages and communication systems

REPRESENTATIVE PUBLICATIONS:


	``Coordination Languages and their Significance,'' with Nicholas Carriero, Communications of the ACM 35 (2) 1992, pp. 97-107.
	``Supercomputing out of Recycled Garbage: Preliminary Experience with Piranha,'' with David Kaminsky, Proceedings of the 1992 ACM International Conference on Supercomputing, July 1992.
	``A Software Architecture for Acquiring Knowledge from Cases,'' with Scott Fertig,Proceedings of the International Joint Conference on Artificial Intelligence, August 1991.

Dana HenryAssistant Professor of Electrical Engineering and Computer Science
S.B. 1988, S.M. 1990, Ph.D. 1996, Massachusetts Institute of Technology
MAJOR INTERESTS:
Computer architecture, hardware and software mechanisms that improve the efficiency of a wide range of computer systems, from embedded microprocessors to supercomputers, mechanisms for fast interprocessor communication

REPRESENTATIVE PUBLICATIONS:


	``Adding Fast Interrupts to Superscalar Processors,'' CSG Memo 366, MIT Laboratory for Computer Science, Cambridge, MA, 1994.
	``A Tightly-Coupled Processor-Network Interface,,'' with C. F. Joerg, Proc. 5th International Conf. Architectural Support for Programm. Lang. and Operating Systems (ASPLOS '92), Boston, MA, October, 111-122, 1992. Also in SIGARCH Computer Architecture News, Special Issue 20, 1992.
	``Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow,'' Technical Report 487, MIT Laboratory for Computer Science, Cambridge, MA, May 1991.

Michael HinesResearch Scientist in Computer Science
B.S. 1970, Michigan State University; S.M. 1972 Ph.D. 1975, University of Chicago
MAJOR INTERESTS:
Computational Neuroscience, numerical simulation

REPRESENTATIVE PUBLICATIONS:


	``Computer Modeling Methods for Neurons'' with N. T. Carnevale. In: The Handbook of Brain Theory and Neural Networks (1995), pp. 226-230. M. Arbib (ed), MIT Press.
	``NEURON--A program for simulation of nerve equations,'' in Neural Systems: Analysis and Modeling, F. Eeckman (ed), Kluwer Academic Publishers, 1993, pp. 127-136.
	``A computational test of the requirements for conduction in demyelinated axons'' with Peter Shrager, J. Restorative Neurology and Neuroscience 3 (1991), pp. 81-93.

Paul HudakProfessor of Computer Science Chairman
B.S. 1973, Vanderbilt University; M.S. 1974, Massachusetts Institute of Technology; Ph.D. 1982, University of Utah
MAJOR INTERESTS:
Functional programming, theory of programming languages, multimedia programming.

REPRESENTATIVE PUBLICATIONS:


	``An Algebraic Model for Divide-and-Conquer and its Parallelism,'' with Z. G. Mou, Journal of Supercomputing, 2(3), 1988.
	``Monad Transformers and Modular Interpreters,'' with Sheng Liang and Mark Jones. Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, ACM Press, January 1995.
	``Haskore Music Notation--An Algebra of Music,'' with Tom Makucevich, Syam Gadde, and Bo Whong, Journal of Functional Programming, Cambridge University Press, 6(3), June 1996.

Ravi KannanProfessor of Computer Science and Applied Mathematics
B.Tech. 1974, Indian Institute of Technology, Bombay; Ph.D.1980, Cornell University
MAJOR INTERESTS:
Theoretical computer science, discrete mathematics, geometric and randomized algorithms, applications to operations research, linear algebra.

REPRESENTATIVE PUBLICATIONS:

	``A Random Polynomial Time Algorithm for Approximating the Volume of Convex Bodies,'' with M. Dyer and A. M. Frieze, Journal of the Association for Computing Machinary 38(1), January 1991.
	``A Polynomial-time Algorithm for Learning Noisy Linear Threshold Functions,'' Algorithmica 22, pages. 35-52, 1998.
	``Clustering in Large Graphs and Matrices,'' in Proc. Sympo. on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1998.

Ming-Yang KaoVisiting Associate Professor of Computer Science
B.S. 1978, National Taiwan University; Ph.D.1986, Yale University
MAJOR INTERESTS:
Algorithms and applications, computational biology, computational finance, online algorithms, parallel algorithms, data security

REPRESENTATIVE PUBLICATIONS:

	``Tree Contractions and Evolutionary Trees''. SIAM Journal on Computing, 1997. In press.
	``On-line Difference Maximization, with S. R. Tate. In Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 175-182, 1997.
	``Data Compression Techniques for Stock Market Prediction,'' with S. Azhar, G. J. Badros, A. Glodjo, and J. H. Reif. In Proceedings of the 1994 IEEE Data Compression Conference, pp. 72-82, 1994.