 |
- Scott Baden
- High performance and large scale scientific computation.
- Vineet Bafna
- Computational molecular biology, bioinformatics, proteomics, approximational algorithms, human genome, human proteome, protein identification, Expressed Sequence Tags (EST) analysis
- Mihir Bellare
- Computer security focusing on authentication, encryption, and electronic payment standards that have helped secure transactions over the Internet and advance e-commerce standards.
- Serge Belongie
- Emerging fields of computer vision and object recognition, as well as biometrics (fingerprint recognition in particular) and video segmentation.
- Walter Burkhard
- Storage system algorithms expert with interest in data layouts, disk arrays, RAID, video servers, replicated file systems.
- Chung-Kuan Cheng
- Computer-aided design, VLSI layout automation, circuit partitioning, network flow optimization, physical design of multichip modules for hybrid package.
- Garrison Cottrell
- Facial recognition, neural networks, human cognition, cognitive science, computational philosophy,
artificial intelligence (AI).
- Sanjoy Dasgupta
- High-dimensional statistics, clustering, algorithms for finding underlying patterns in high-dimensional data, machine learning
- Alin Deutsch
- Semistructured and XML data, data security, adaptive distributed query design, and the design and optimization of query languages.
- Charles Elkan
- Automated reasoning, artificial intelligence, machine learning, database systems, expert systems, computational biology, and data mining.
- Jeanne Ferrante
- Compiling techniques for large scale computing
- Yoav Freund
- Computational learning theory and related areas in probability theory, information theory, statistics and pattern
recognition.
- Fan Chung Graham
- Algorithmic design, parallel computing, communications networks, Internet computing, discrete
geometry, and active compilers for the Grid.
- Ronald Graham
- Computer science, Internet routing, and mathematics, including combinatorics, number theory,
graph theory, discrete and computational geometry.
- William Griswold
- Software engineering and ubiquitous computing, specializing in location-based systems,
aspect-oriented programming, software design, and educational technology.
- Rajesh Gupta
- Embedded systems and mobile computing, including the integration of software and hardware to make computers more portable and energy efficient ('power-aware' computing).
- William Howden
- Software testing and analysis, error modeling and prevention, software design, and embedded systems.
- Russell Impagliazzo
- Computational complexity, cryptography, circuit complexity, computational randomness.
- Henrik Wann Jensen
- Computer graphics, specializing in the rendering of realistic images of natural phenomena,
global illumination and appearance modeling.
- Ranjit Jhala
- Techniques for building reliable systems: model checking, automated deduction, program analysis,
type systems, programming languages, software engineering, and logic.
- Andrew Kahng
- Professor Kahng is an expert on the physical design of Very Large Scale Integrated circuits
(VLSI), and a key strategist defining the International Technology Roadmap for Semiconductors. The ITRS specifies
the technology developments needed to keep pace with Moore's Law.
- Ryan Kastner
- Reconfigurable computing, VLSI computer-aided design, sensor networks, radiolocation, computer architecture, security, embedded systems and optimization algorithms.
- David Kriegman
- Computer vision, computer graphics, face recognition and vision-guided robotics.
- Ingolf Krueger
- Service-oriented software and systems engineering, programming methodology, and the design, implementation, and verification of distributed, reactive systems.
- Paul Kube
- Sorin Lerner
- Programming language and analysis, including
domain-specific languages, compilation, formal methods and automated theorem proving.
- Keith Marzullo
- Fault-tolerant computing with focus on Internet, grid computing, and other distributed networks that have radically changed the challenges of assuring reliability.
- Daniele Micciancio
- Cryptography, complexity, and the relation of the two. Develops, tests, and validates algorithms for
securing E-commerce and other computer transactions.
- Alex Orailoglu
- Electronic design automation, VLSI testing, and synthesis of fault-tolerant integrated circuits (ICs).
- Yannis Papakonstantinou
- Database systems and Internet technologies, and specifically data integration applications that require search, querying and interaction with the information of multiple distributed sources, such as multiple Web sites.
- Joseph Pasquale
- Operating systems and networks, focusing on improving performance and reliability of Internet-scale systems
- Ramamohan Paturi
- Algorithms, complexity theory, satisfiability, lower bounds, digital libraries, data mining, machine learning,
and information technology (IT) education.
- Pavel Pevzner
- Computational molecular biology and bioinformatics.
- Tajana Rosing
- Embedded system design, resource management at the system level, hardware management and embedded
software optimization, power management algorithms.
- Lawrence Saul
- Machine learning, pattern recognition, voice processing, auditory computation and methods for high dimensional
data analysis.
- Stefan Savage
- Computer security issues (especially worms, viruses, botnets, intrusion detection and
denial-of-service attacks), wireless networking, and operating system kernel design.
- Hovav Shacham
- Applied cryptography, systems security, and tech policy.
- Beth Simon
- Larry Smarr
- Internet, information technology, telecommunications, supercomputing, interdisciplinary research, networking, and the wireless Web.
- Alex Snoeren
- Computer systems, including operating systems and networking, and particularly protocols to support secure
and robust wide-area mobile computing.
- Steven Swanson
- Unconventional processor architectures that require novel approaches to problems such as performance, power, and
programmability.
- Michael Taylor
- Computer architecture, parallel computing, microprocessor and VLSI circuit design, and on-chip interconnection
networks.
- Dean Tullsen
- Processor architecture for high-end computing; widely credited with an innovation that can double the performance of a new generation of microprocessors.
- Amin Vahdat
- Computer Networks, Distributed Systems, Operating Systems, Internet Security, and
Mobile/Wireless Systems.
- George Varghese
- Very-high-speed communications in computer networks and the Internet. Research aims at making the Internet as fast and reliable as electric and telephone utilities.
- Victor Vianu
- Database in the age of the World Wide Web
- Geoffrey Voelker
- Computer systems research in operating systems, distributed systems, networking, and mobile and wireless computing.
- Yuanyuan Zhou
|
|
Awards & Accomplishments
