 |
| |
|
|
Home»Faculty & Research»Faculty Profiles»Faculty Research Profiles Home |
|
Faculty Research Profiles | |
| | |
|
-
Scott B. 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.
-
Francine Berman
- High-performance and grid computing: programming environments, adaptive middleware, scheduling,
and performance predication.
-
Walter A. Burkhard
- Storage system algorithms expert with interest in data layouts, disk arrays, RAID, video servers, replicated file systems.
-
Samuel Buss
- Bounded arithmetic, proof theory and complexity, mathematical logic and behavioral logic.
-
Brad Calder
- Computer architecture, specifically the interaction between architecture and compiler optimizations across a broad range of subjects.
-
Larry Carter
- Scientific computation, performance programming, parallel computation, machine and system architecture for high
performance.
-
Chung-Kuan Cheng
- Computer-aided design, VLSI layout automation, circuit partitioning, network flow optimization, physical design of multichip modules for hybrid package.
-
Andrew A. Chien
- High performance computing and networking architecture, including grid, parallel and distributed
computing, as well as operating systems, compilers and runtimes, object-oriented languages, and scalable clusters.
-
Garrison W. 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.
-
Eleazar Eskin
- Computational biology and bioinformatics, and specifically, analysis of human variation and its relation to
complex disease.
-
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.
-
Joseph Goguen
- His work on modular programming helped lay the groundwork for modern computer languages. His research now embraces the social aspects of technology and cognitive science.
-
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).
-
Jim Hollan
-
William E. Howden
- Software testing and analysis, error modeling and prevention, software design, and embedded systems.
-
T. C. Hu
- Combinatorial algorithms, mathematical programming, networks and graphs, VLSI circuit layout.
-
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 B. 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.
-
Sidney Karin
- Computational science and engineering, high-performance computing, data-intensive computing, scientific visualization and interaction environments, computer and network security, networking.
-
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.
-
Walter H. Ku
- High-speed integrated circuits and systems, design and fabrication of semiconductor IC's for adaptive signal and image processing, secure communications systems, physical design
-
Falko Kuester
-
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).
-
Alon Orlitsky
- Communications and information theory, with particular interests in signal processing, data compression, speech recognition and learning theory.
-
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.
-
J. Ben Rosen
- Parallel algorithms, global optimization, especially with respect to computational biology.
-
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, bonnets, intrusion detection and
denial-of-service attacks), wireless networking, and operating system kernel design.
-
Walter Savitch
- Complexity theory, formal language theory, computational linguistics, and the development of
computer science education materials.
-
Terrence Sejnowski
- Computational neurobiology.
-
Larry Smarr
- Internet, information technology, telecommunications, supercomputing, interdisciplinary research, networking, and the wireless Web.
-
Alex C. 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 M. 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.
-
Alexander Vardy
- Information theory specializing in error-correcting codes for data transmission and storage.
-
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 M. Voelker
- Computer systems research in operating systems, distributed systems, networking, and mobile and wireless computing.
-
S. Gill Williamson
- Algorithms, combinatorial mathematics, and combinatorics.
-
Matthias Zwicker
- Computer graphics
| |
| back to top ^
|
|
| |
