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 Aspnes, Assistant 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, particularly for distributed and on-line problems.
REPRESENTATIVE PUBLICATIONS:
"Counting networks", with Maurice Herlihy and Nir Shavit. Journal of The Association for Computing Machinery, 41(5), pp. 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. "Randomized consensus in O(n log^2 n) operations per processor", with Orli Waarts. Thirty-Third IEEE Symposium on Foundations of Computer Science, October 1992, pp.137-146. To appear, SIAM Journal of Computing. "A theory of competitive analysis for distributed algorithms",with Miklos Ajtai, Cynthia Dwork, and Orli Waarts. Thirty-Fifth IEEE Symposium on Foundations of Computer Science, November 1994, pp.401-411.
Richard Beigel, Associate Professor of Computer Science
B.S. 1982, M.S. 1983, Ph.D. 1988, Stanford University
MAJOR INTERESTS: Complexity theory, fault diagnosis, design and analysis of algorithms.
REPRESENTATIVE PUBLICATIONS:
"PP is Closed Under Intersection," with N. Reingold and
D.Spielman, in the proceedings of the 23rd Annual ACM
Symposium on Theory of Computing, pp. 1-9, 1991.
"Fault Diagnosis in a Flash," with W. Hurwood and N. Kahale, in
the proceedings of the 36th Annual IEEE Symposium on
Foundations of Computer Science, pp. 571-580, 1995.
"3-Coloring in time O(1.3446^n): a no-MIS
algorithm," with D. Eppstein, in the proceedings of the 36th
Annual IEEE Symposium on Foundations of Computer Science,
pp. 444-452, 1995.
Nicholas Carriero, Research Scientist in Computer Science
B.S. 1980, Brown University; M.S. 1983, SUNY at Stony Brook; Ph.D. 1987, Yale University
MAJOR INTERESTS: Systems issues in the development of software tools for parallelism
REPRESENTATIVE PUBLICATIONS:
" Coordination Languages and their Significance", with
D. Gelernter Communications of the ACM 35, 2, 1992,
pp. 97-107.
"A Foundation for Advanced Compile-time Analysis of Linda
Programs," with D. Gelernter, Languages and Compilers for
Parallel Computing , Banerjee, et al.(eds) MIT Press, 1991.
"Linda in Context," with D. Gelernter, Communications of
the ACM 32, 4, 1989.
Yu Chen, Associate Research Scientist in Computer Science
B.S. 1982, Tsinghua University; M.S. 1984, Jiaotong University; M.S. 1988, Ph.D. 1991, Yale University
MAJOR INTERESTS: Numerical solution of differential equations, scattering theory, numerical quadrature and solution of integral equations, non-linear optimization, ill-posed problems
REPRESENTATIVE PUBLICATIONS:
"Inverse Scattering via Heisenberg's Uncertainty Principle,"
Technical Report 1091, Yale University, Department of Computer
Science, 1996.
"Inverse Scattering via Skin Effect," Technical Report 1110,
Yale University, Department of Computer Science, 1996.
Stanley C. Eisenstat, Professor 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. Fischer, Professor of Computer Science
Director of Graduate Studies
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:
"An Application of Game-Theoretic Techniques to Cryptography," with R. N. Wright, Advances in Computational Complexity Theory, Jin-Yi Cai, ed., DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 13, American Mathematical Society (1993), 99-118. "Space-Efficient Asynchronous Consensus without Shared Memory Initialization," with S. Moran, and G. Taubenfeld, Information Processing Letters 45 (1993), 101-105. "Reliable Communication Over Unreliable Channels," with Y. Afek, H. Attiya, A. Fekete, N. Lynch, Y. Mansour, D.-W. Wang, and L. Zuck, Journal of the ACM 41, 6 (November 1994), 1267-1297.
David Gelernter, Professor 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.
Greg Hager, Associate Professor of Computer Science
B.A. 1983, Luther College, Decorah, IA; M.S. 1986, Ph.D. 1988, University of Pennsylvania
MAJOR INTERESTS: Vision, robotics, hand-eye coordination, sensor data fusion and sensor planning
REPRESENTATIVE PUBLICATIONS:
"Real-Time Feature Tracking and Projective Invariance as a Basis
for Hand-Eye Coordination". In Proc.IEEE Conf.on Computer
Vision and Image Processing (CVPR), pp. 533-539. IEEE Computer
Society Press, June 1994.
"Real-Time Vision-Based Robot Localization", with S. Atiya.
IEEE Transactions on Robotics and Automation, 9 (6),
pp. 785-800, 1993.
Task-Directed Sensor Fusion and Planning. Kluwer, Boston,
MA, 1990.
Dana Henry, Assistant Professor of Electrical Engineering and Computer Science
S.B. 1988, S.M. 1990, Ph.D. 1995 (expected), 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 Hines, Research 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 Hudak, Professor of Computer Science
B.S. 1973, Vanderbilt University; M.S. 1974, Massachusetts Institute of Technology; Ph.D. 1982, University of Utah
MAJOR INTERESTS: Design and implementation of functional programming languages, formal semantics, program transformation, software prototyping, parallel programming, computer music.
REPRESENTATIVE PUBLICATIONS:
"Haskore Music Notation: An Algebra of Music", with
T. Makucevich, S. Gadde, and B. Whong, Journal of Functional
Programming, 1995.
"Conception, Evolution, and Application of Functional Programming
Languages," ACM Computing Surveys 2, 3, 1989.
"An Algebraic Model for Divide-and-conquer and its Parallelism",
with Z. G. Mou, Journal of Supercomputing, 2(3), 1988.
David J. Kriegman, Associate Professor of Electrical Engineering and Computer Science
M.S. 1984, Ph.D. 1989, Stanford University
MAJOR INTERESTS: Computer Vision including problems related to object recognition and scene reconstruction; mobile robot navigation; motion and assembly planning for robots; human object recognition.
REPRESENTATIVE PUBLICATIONS:
"Vision-Based Motion Planning and Exploration for Mobile
Robots," with C. J. Taylor, IEEE Transactions on Robotics
and Automation, 1996.
"Invariant-Based Recognition of Complex Curved 3D Objects from
Image Contours," with B. Vijayakumar and J. Ponce,
International Conference on Computer Vision, 1995, pp. 508-514.
"What is the Set of Images of an Object Under All Possible
Lighting Conditions?" with P. Belhumeur, IEEE Conf. on
Computer Vision and Pattern Recognition, 1996, pp. 270-277.
Bradley C. Kuszmaul, Assistant Professor of Computer ScienceOA
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:
"The network architecture of the Connection Machine CM-5,"
with C. E. Leiserson, Z. S. Abuhamdeh, D. C. Douglas,
C. R. Feynman, M. N. Ganmukhi, J. V. Hill, W. D. Hillis,
M. A. St. Pierre, D. S. Wells, M. C. Wong, S.-W. Yang, and
R. Zak. Journal of Parallel and Distributed Computing
33(2), March 15 1996,, pp. 145-158. (Portions of this work were
previously reported in the 4th Annual ACM Symposium on
Parallel Algorithms and Architectures (SPAA '92), 1992,
pp. 272-285.) Available as ftp://theory.lcs.mit.edu/
/pub/bradley/jpdc96.ps.Z
The StarTech Massively Parallel Chess Program," Journal of
the International Computer Chess Association 18 (1), March 1995,
pp. 3-20. (An early version is available as
ftp://theory.lcs.mit.edu/pub/bradley/startech.ps) This paper was selected
as the winner of the 1994-1995 ICCA Journal Award.
"Cilk: An Efficient Multithreaded Runtime System," with
R. D. Blumofe, C. F. Joerg, C. E. Leiserson, K. H. Randall, and
Y. Zhou. To appear in the Journal of Parallel and Distributed
Computing. (Portions of this work were previously reported in
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles
and Practice of Parallel Programming (PPoPP'95), 1995,
pp. 207-216.) Available as
ftp://theory.lcs.mit.edu/pub/bradley/PPoPP95.ps.Z
L'aszl'o Lov'asz, Professor of Computer Science and Mathematics
Ph.D. 1971 Mathematics, Eotvos Lorand 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'emiai
Kiad'o--North Holland, Budapest, 1979. (Japanese translation:
Tokai Univ. Press, 1988.)
Matching Theory, with M. D. Plummer. Akd'emiai
Kiad'o--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 McDermott, Professor of Computer Science
B.S., M.S. 1973, Ph.D. 1976, Massachusetts Institute of Technology
MAJOR INTERESTS: Representation of knowledge, reasoning about space and time, planning
REPRESENTATIVE PUBLICATIONS:
Artificial Intelligence, Special Issue on Planning and
Scheduling, Editor (with Jim Hendler). 1995
"A Heuristic Estimator for Means-Ends Analysis in Planning." In
Proc. Third Int. Conf. on AI Planning Systems. 1996
"Model-Based Pose Proposal for 2-D Object Recognition (with
Hemant Tagare)." Proc. 13th Brazilian AI Conference 1996.
Willard Miranker, Professor Adjunct of Computer Science
B.A. 1952, New York University; M.S., Ph.D. Courant Institute, New York University, 1953, 1956
MAJOR INTERESTS: Using the tools of traditional subjects to study some of the more fundamental aspects of computation
REPRESENTATIVE PUBLICATIONS:
"Numerical Computation Using Associative Tables," with
C. C. Douglas, J. Parallel Computing, 16 (1990).
"Multiscale Optimization in Neural Nets", with E. Mjolsness and
C. Garrett, IEEE Trans. on Neural Networks 2 (1991).
"Neural Organization of the Locomotive Oscillator", with
B. E. Willner and C-P Lu, J. Biological Cybernetics 68
(1993).
Marios Papaefthymiou, Assistant Professor of Electrical Engineering and Computer Science
B.S. 1988, Electrical Engineering, California Institute of Technology; M.S. 1990, Ph.D. 1993, Computer Science and Engineering, Massachusetts Institute of Technology
MAJOR INTERESTS: Design and analysis of algorithms, computer-aided design, VLSI design, parallel computation.
REPRESENTATIVE PUBLICATIONS:
"Optimizing Two-Phase, Level-Clocked Circuitry," with
A. T. Ishii and C. E. Leiserson, Journal of the ACM. To
appear.
"An Analysis of Gang-Scheduling for Multiprogrammed Parallel
Computing Environments", with M. Squillante and F. Wang. In
Proceedings of the 8th ACM Symposium on Parallel Algorithms and
Architectures, June 1996.
"Delay: An Efficient Tool for Retiming with Realistic Delay
Modeling", with K. N. Lalgudi. In Proceedings of the 32nd
ACM/IEEE Design Automation Conference, June 1995. Received Best
Paper Award.
John Peterson, Associate 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 Resasco, Associate 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 solution of elliptic differential equations by Domain Decomposition methods, parallel Computation, Computational Ocean Acoustics
REPRESENTATIVE PUBLICATIONS:
"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.
"Application of Domain Decomposition Techniques to the Solution
of Acoustic Propagation Problems", 3rd IMACS Symposium on
Computational Acoustics, Harvard University, Cambridge, MA, June
26-28, 1991.
Vladimir Rokhlin, Professor of Computer Science
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:
"A Fast Algorithm for Particle Simulations," with L. Greengard,
Journal of Computational Physics 73, 1987.
"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.
Martin Schultz, Arthur K. Watson Professor of Computer Science Director, Research Center for Scientific Computation Chairman
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 Shao, Assistant Professor of Computer Science
B.A. 1988, University of Science and Technology of China; M.A. 1991, Ph.D. 1994, Princeton University
MAJOR INTERESTS: Systems environments (e.g., compilers and operating systems) for modern type safe languages, interaction of compilers and languages with modern architectures, programming language design and implementation, semantic analysis and formal methods.
REPRESENTATIVE PUBLICATIONS:
"Space-Efficient Closure Representations", with A. Appel.
Proceedings of the 1994 ACM Conference on Lisp and Functional
Programming, June 1994, pp. 150-161.
Unrolling Lists", with J. Reppy and A. Appel. Proceedings of the
1994 ACM Conference on Lisp and Functional Programming, June 1994,
pp. 185-195.
A Type-based Compiler for Standard ML", with Appel. Proceedings
of the SIGPLAN'95 Conference on Programming Language Design and
Implementation (PLDI), La Jolla, CA, June 1995, pp. 116-129.
Edward Tufte, Professor of Political Science, Statistics, and Computer Science
B.S. 1963 M.S. 1964 Statistics, Stanford University; Ph.D. 1968 Political Science, Yale University
MAJOR INTERESTS: Statistical Graphics; Scientific Visualization; Use of Evidence
REPRESENTATIVE PUBLICATIONS:
"The Visual Display of Quantitative Information" Graphics
Press, 1983.
"Envisioning Information", Graphics Press, 1990.
Lenore Zuck, Associate Professor of Computer Science
B.Sc. Technion 1979; M.Sc. 1983, Ph.D. 1987, Weizmann Institute of Science
MAJOR INTERESTS: Theory of distributed systems, formal tools for specification and verification
REPRESENTATIVE PUBLICATIONS:
"Verification of Multiprocess Probabilistic Protocols," with
A. Pnueli, Journal of Distributed Computing 1, 1, 1986.
"A Little Knowledge Goes a Long Way: Knowledge-Based Derivations
and Correctness Proofs for a Family of Protocols," with
J. Halpern, Journal of the ACM 39, 1, 1992.
"Tight Bounds for the Sequence Transmission Problem", with
Da-Wei Wang, Proceedings of the Eight ACM Symposium on
Principle of Distributed Computing, August 1989.
Steven Zucker, Professor of Computer Science and Electrical Engineering
B.E. Carnegie-Mellon University; M.E., Ph.D. Drexel University
MAJOR INTERESTS: Computational vision, computational neuroscience, image analysis, robotics
REPRESENTATIVE PUBLICATIONS:
"Shape from shading on a cloudy day", with M. Langer,
J. Opt. Soc. Am., A, 1994, 11(2), 467-478.
"Shapes, shocks, and deformations, I", with B. Kimia and
A. Tannenbaum, Int. J. Computer Vision, 15, 1995,
189-224.
"Logical/linear operators for image curves", with L. Iverson,
IEEE Trans. Pattern Analysis and Machine Intelligence 17
(10), 1995, 982-996.