Computer Science Faculty and Research Staff

In the list below, Roman numerals indicate area affiliations of EECS faculty. Affiliations of other faculty and staff are abbreviated as follows: Department of Mathematics (Math), Department of Brain and Cognitive Sciences (B&CS), Department of Architecture (Arch), Mechanical Engineering (ME), Computer Science and Artificial Intelligence Laboratory (CSAIL).

Aaronson, S.

(II) Computational complexity, quantum computing, foundations of quantum mechanics, bounded rationality.

Abelson, H.

(II) Artificial intelligence, scientific computation, educational computing, societal and legal frameworks for information technology.

Agarwal, A.

(II, III) Computer architecture and software systems, multicore operating systems, self-aware computing, VLSI processors, complilations and runtime technologies for parallel computing.

Amarasinghe, S.

(II) Program analysis and optimization, computer architecture.

Arvind

(II) Architecture synthesis and verification, digital design, term rewriting systems and lambda calculus. Parallel architectures and programming languages.

Balakrishnan, H.

(II) Computer networks, mobile and sensor computing systems, distributed systems.

Barzilay, R.

(II) Natural language processing.

Berger, B.

(CSAIL/Math) Algorithms, Computational Biology, Randomness, Parallel Computation.

Berwick, R.C.

(II, B&CS) Natural language processing: computer models of language acquisition and parsing. Computational biology and evolutionary theory including evolution of language. Artificial intelligence: formal models of learning, including inductive inference and computational complexity analysis of language. Cognitive science: word learning, semantics of natural languages.

Braida, L.

(VII, II, I) Development of aids for the deaf based on signal processing and automatic speech recognition. Computational models of hearing impairment and speech intelligibility.

Brooks, R.A.

(II, III) Humanoid robotics. Artificial life. Living machines. (Emeritus)

Chan, V.

(I, II, IV) Optical, wireless and space communications and networks. Architecture, technology, system designs, and testbed implementations. New communication and network technologies, architectures and applications.

Chandrakasan, A.

(III, II, V) Design of digital integrated circuits and systems. Energy efficient implementation of signal processing, communication and medical electronics. Circuit design with emerging technologies.

Chlipala, A.

(CSAIL) Computer theorem-proving. Formal verification. Programming launguage design and implementation. Functional programming and type systems.

Clark, D. D.

(CSAIL) Computer networks: Internet engineering; hardware and protocols for high speed large scale network communications. Real-time services over networks. Network-host interfacing. Policy and economic issues; pricing.

Daniel L.

(III, I, IV, II) Parameterized model order reduction and nonlinear dynamical systems. Mixed-signal, RF and mm-wave circuit modeling and robust optimization. Power electronics, MEMS design and fabrication. Parasitic extraction and accelerated integral equation field solvers.

Davis, R.

(II) Artificial intelligence, intelligent multimodal interfaces and natural interaction; intellectual property issues in software.

Demaine, E.

(II) Algorithms and data structures. Discrete and computational geometry. Combinatorial games.

Dennis, J.

(CSAIL) Parallel computer system design to support functional languages and advanced environments for modular programming. Study of architecture, performance and reliability issues. (Emeritus)

Devadas, S.

(II, III) Computer-aided design. Computer security. Computer architecture.

Doyle, J.

(CSAIL) Artificial intelligence and rational psychology. Theories and architectures for reasoning, knowledge representation, and decision making. Relations to philosophy, economics, and physics. Applications to medicine.

Durand, F.

(II) Image generation and creation; realistic rendering, real-time graphics, perceptually-based algorithms, non-photorealistic rendering, image-based rendering and editing, digital photography.

Edelman, A.

(CSAIL/Math) Scientific Computing, High Performance Architectures, Numerical Analysis, Numerical Linear Algebra, Random Matrices.

Emer, J.

Processor performance modeling infrastructures, especially FPGA-accelerated simulation, reconfigurable logic computing, parallel and multi-threaded processor architecture, cache and memory hierarchy design and processor reliability analysis.

Freeman, W.

(II) Machine learning applied to computer vision and computer graphics. Bayesian belief propagation and its generalizations. Bayesian models of visual perception.

Gallager, R. G.

(I, II) Wireless communication, information theory, all optical networks, data networks. (Emeritus)

Garland, S. J.

(CSAIL) Practical applications of formal methods to software design and development. Specifying and reasoning about distributed systems and network protocols. Automated deduction. Software-based signal processing.

Gifford, D. K.

(II) Computational and systems biology, computational functional genomics. Expression of scientific models in computational form. Machine learning.

Glass, J.

(CSAIL) Automatic speech recognition, synthesis, and understanding for multi-modal, conversational interaction

Goemans, M.

(Math, CSAIL) Combinatorial optimization: theory, applications, design and analysis of algorithms, polyhedral combinatorics.

Goldwasser, S.

(II) Cryptography, pseudo randomness, property testing, computational number theory, multi-party computations.

Golland, P.

(II) Developing novel techniques for image analysis and understanding. Statistical modeling, shape representation. Medical and biological imaging applications.

Grimson, W. E.

(II) Computer vision, medical image analysis, medical image processing, image guided surgery, activity recognition.

Guttag, J. V.

(II, VII) Medical software and signal processing, wireless networking.

Hanson, C.

(CSAIL) VLSI mixed-signal design. Radio communications. Signal processing.

Horn, B. K. P.

(II) Machine vision, diaphanography. Representation of objects and space. Photogrammetry, computational imaging.

Indyk, P.

(II) Computational geometry, especially in high-dimensional spaces; databases and information retrieval; learning theory; design and analysis of algorithms; streaming and sketching algorithms.

Jaakkola, T.S.

(II) Statistical inference and machine learning. Applications to computational biology and information retrieval. Artificial intelligence.

Jackson, D.

(II) Software design and specification; design methods, tools and analysis; dependability; safety-critical systems; reverse engineering; static analysis, model checking, programming languages.

Jaillet, P.

(I, II) Online optimization; real-time and dynamic optimization; networks; probabilistic combinatorial optimization problems; financial engineering.

Kaashoek, M. F.

(II) Computer systems: operating systems, networking, programming languages, compilers, and computer architecture for distributed systems, mobile systems and parallel systems.

Kaelbling, L.P.

(II) Behavior learning, visually-guided map learning for mobile robots, planning in very large stochastic domains, learning relational models.

Karger, D.

(II) Information retrieval and digital libraries; analysis of algorithms, especially for graphs and optimization problems; applications of randomization; parallel algorithms.

Katabi, D.

(II) Computer networks and data communication. Congestion control, network measurements, scalability and robustness of communications systems. Differentiated services, internet pricing, routing, content distribution, self-configurable and wireless networks and network security.

Kellis, M.

(II) Computational biology. Genome interpretation, comparative genomics, regulatory networks, cellular signals, developmental biology, evolutionary theory. Algorithms and machine learning applications in genomics.

Knight, T.F.

(CSAIL) Computer architectures and programming languages for artificial intelligence applications, image and auditory perception. Physics of computation. High-speed digital design.

Lampson, B. W.

(II) Computer science. Hardware design and machine architecture through distributed systems and programming languages to user interfaces and office automation.

Larson, R.C.

(I, II) Applying advanced technologies to education in both the "brick-and-mortar" and virtual campuses. Probability methods applied to services industries.

Leiserson, C. E.

(II) Theory of computing machinery, parallel computation, graph theory, algorithms, computer architecture, supercomputing, multithreading, internet computing, scalable systems. Chip multiprocessing.

Liskov, B. H.

(II) Programming methodology, programming languages, distributed systems, object-oriented databases.

Long, W.

(CSAIL) Application of artificial intelligence techniques to medical decision-making, particularly in cardiology. Effective use of physiologic modeling, probabilistic networks, and machine learning. Web-based tools to help patients manage their health in the home.

Lozano-Pérez, T.

(II) Artificial intelligence; robotics and computer vision.

Lynch, N. A.

(II) Theory of distributed and real-time computing: mathematical models, specification, algorithm and system design, performance and fault-tolerance analysis. Distributed data management, communication, synchronization. Languages and tools for abstract distributed programming. Hybrid (continuous/discrete) systems. Mobile wireless networks.

Madden, S.

(II) Databases and computer systems; query processing, distributed systems, management of streaming data, adaptive data processing, sensor networking.

Magnanti, T.

(I, II) Network design and equilibrium. Large-scale optimization. Optimization in telecommunications, manufacturing, logistics, and transportation.

Margolus, N.H.

(CSAIL) Highly parallel architectures, spatial-lattice computers and computations, physical modeling, physics of computation, reversible computation, quantum computation.

Megretski, A.

(I, II) Theory and algorithms of analysis and design of hybrid systems, nonlinear and robust control, non-convex and convex optimization, formalization of knowledge in education, functional analysis and operator theory.

Meyer, A. R.

(II) Software education environments. Semantics of programming languages, logic of programs, concurrent programs, lambda calculus.

Micali, S.

(II) Cryptography, secure protocols, and computational complexity theory.

Miller, R.

(II) Human-computer interfaces, intelligent interfaces, end-user programming, usability, software engineering, human computation, crowd computing.

Minsky, M. L.

(II) Artificial intelligence. Robotics and machine vision. Representation of knowledge and structure of personality. Common sense reasoning, theories of emotion and consciousness. (Emeritus)

Mitter, S. K.

(I, II) The interaction between information and control. Structure function and organization of complex systems.

Morris, R. T.

(II) The design of an easy-to-control data networking infrastructure designed to bring about a new level of flexibility to network configuration. The Resilient Overlay Networks Project. Grid routing protocols.

Moses, J.

(II) Organization of large complex systems, artificial intelligence.

Moshkovitz, D.

(II) Theoretical computer science, probabilistically checkable proofs, derandomization, coding theory.

Oppenheim, A. V.

(I, II) Signal processing theory, applications and algorithms.

Peh, L-S.

(II, III) Interconnection networks (networks connecting subsystems within a digital system, such as multiprocessors, blades, disks, cluster, router line cards, on-chip modules and embedded systems), with particular interest in power-aware interconnection networks.

Penfield, Jr., P. L.

(III, II, V) Information and entropy. (Emeritus)

Poggio, T.

(B&CS, CSAIL) Statistical learning: theory, algorithms and applications. Computer and human vision.

Popovic, J.

(II) Geometric modeling, the design of shapes; computer animation, the design of motion. Computer graphics, human-computer interaction, biomechanics, robotics, and design.

Rinard, M.C.

(II) Program analysis, compilers, distributed computing, software engineering.

Rivest, R. L.

(II) Cryptography. Computer/network security. Algorithms. Voting technology.

Rubinfeld, R.

(II) Randomized algorithms, sublinear time algorithms, computational complexity theory.

Rus, D.

(II) Robotics, mobile computing and information access.

Saltzer, J.H.

(II) Computer systems and computer networks. (Emeritus)

Seneff, S.

Spoken conversational systems, spoken language understanding and generation, genomics.

Shrobe, H.

(CSAIL) Artificial intelligence; the intelligent room; information survivability; self-adaptive software.

Sipser, M.

(CSAIL/Math) Computational complexity theory, probabilistic methods, analysis of algorithms, mathematical logic.

Solar-Lezama, A.

(II) Programming systems with a focus on software synthesis. Programming tools for parallel and high performance computing.

Sollins, K.R.

(CSAIL) Pervasive systems and networks, information systems and infrastructure, naming, and security.

Spielman, D.

(CSAIL/Math) Analysis and design of algorithms, error-correcting codes, complexity theory.

Stonebraker, M.

(CSAIL) Database systems, query processing, data warehouses, federated databases, data visualization.

Stultz, C.

(VII, II) Conformational changes in macromolecules and the effect of structural transitions on human diseases. Gain insights into the role of molecular structure by utilizing techniques drawn from computational chemistry, signal processing, and basic biochemistry.

Sudan, M.

(II) Complexity of finding ‘approximate’ solutions to combinatorial optimization problems; interplay of algebra with computer science and coding theory.

Sussman, G. J.

(II) Artificial intelligence: learning, problem solving and programming. Computational performance models for intelligent behavior, especially modeling the behavior of engineers. Numerical models of physical systems.

Szolovits, P.

(II) Application of artificial intelligence techniques to medical decision making.  Effective representation of knowledge. Natural language processing techniques to make sense of clinical data. Personal health information systems, medical confidentiality.

Tedrake, R.L.

(II) Robotics and nonlinear control, with an emphasis on approaches using motion planning, verification, and machine learning.  Primary focus is on designing feedback control systems for legged robots dynamically traversing  rough terrain and on robots that fly like a bird.  

Teller, S.

(II) Computer vision for navigation and mapping; robotics; sensor networks; pervasive computing; computational geometry; geometric modeling; computer graphics.

Tenebaum, J. B.

(II, B&CS) Computational models of human cognition: learning, common-sense reasoning, perception and decision-making; building more human-like machine learning and AI systems; learning and inference with rich generative models, probabilistic logical theories and probabilistic programs.

Terman, C.

(CSAIL) Computer and DSP architectures; VLSI circuits; design methodologies and CAD tools; circuit simulation; computer languages.

Tidor, B.

(II, VII) Modeling of protein-protein interactions, focusing on electrostatic effects and structure-based drug design. Systems-level biology including biological network modeling and information theory applied to data analysis.

Torralba, A.

(II) Computer vision, machine learning and human perception; development of computer vision systems and solving real world recognition tasks; modeling human perceptual and cognitive capabilities; object recognition, classification of whole scenes; visual recognition and classification of places and objects.

Troxel, D. E.

(III, II, V) Applications of digital systems. (Emeritus)

Tsitsiklis, J. N.

(I, II) Analysis, optimization and algorithms for deterministic and stochastic systems. Resource allocation in dynamic environments. Communication networks.

Vempala, S.

(CSAIL/Math) Algorithms. Randomness, Geometry, Combinatorics. Information retrieval.

Ward, S. A.

(II) Computer architecture and operating systems.

Weiss, R.

(II, VII) Synthetic biology. Construction and analysis of synthetic gene networks. Use of computer engineering principles of abstraction, composition, and interface specifications to program cells with sensors and actuators precisely controlled by analog and digital logic circuitry. Emphasis on establishing the engineering foundation for synthetic biology and the pursuit of novel applications enabled by the technology (e.g. programmed tissue engineering, diabetes, engineered neuronal circuits).

White, J. K.

(III, I, II) Numerical simulation and optimization techniques with application to problems in integrated circuit interconnect and packaging, micromachined devices (MEMS and bioMEMS), photonic devices, drug design, and systems biology.

Willsky, A. S.

(I, II) Estimation, stochastic systems, and statistical signal and image processing. Multiresolution methods, image reconstruction, large-scale data assimilation and multisensor fusion, computer vision, and graphical models for inference on complex phenomena. Application from a wide variety of fields, including low-level computer vision and segmentation, medical image processing, remote sensing, object recognition and sensor networks.

Winston, P. H.

(II) Artificial intelligence and computational theories of human intelligence, with special emphasis on the roles of language, vision and analogical reasoning.

Zeldovich, N.

(II) Building practical secure systems. Operating systems, hardware design, networking, and distributing systems. Programming languages and tools, security analysis and verification.

Wroclawski, J.

(CSAIL) Distributed systems. High performance network protocols. Upper layer network architecture. Graphics.

Zue, V. W.

(II, VII, I) Human-human and human-machine communication using spoken and written languages. Audio/visual cue integration. Detection and rendering of paralinguistic information. Acoustic-phonetic analysis of speech and strategies for lexical access.