|
Robert "Corky" Cartwright
|
Swarat Chaudhuri |
| Professor of Computer Science |
Assistant Professor of Computer Science
|
| Duncan Hall, Rm 3104 X6042 |
Duncan Hall, Rm 3103 X6314 |
cork @ rice.edu |
swarat@ rice.edu |
|
Programming language design and implementation,
program semantics and verification
|
Reasoning about programs, parallel programming, theoretical computer science
|
|
|
| Keith D. Cooper |
Alan L. Cox |
|
L. John & Ann H. Doerr Professor of Computational Engineering;
Professor of Computer Science and Electrical & Computer Engineering
|
Associate Professor of Computer Science and
Electrical & Computer Engineering |
| Duncan Hall, Rm 2065 X6013 |
Duncan Hall, Rm 3009 X5730 |
keith @ rice.edu |
alc @ rice.edu |
|
Compiler construction
|
Operating systems, computer architecture |
| |
|
| Scott Cutler |
Ronald N. Goldman |
| Professor in the Practice of Computer Technology |
Professor of Computer Science |
| Duncan Hall, Rm 2063 X2526 |
Duncan Hall, Rm 3116 X5729 |
cutler@ rice.edu |
rng @ rice.edu |
|
Computer graphics, geometric modeling |
| |
|
| John Greiner |
Chris M. Jermaine |
|
Lecturer in Computer Science
|
Associate Professor of Computer Science
|
| Duncan Hall, Rm 3093, X3838 |
Duncan Hall, Rm 3028 X5690 |
greiner @ rice.edu |
christopher.m.jermaine @ rice.edu |
| Algorithms, theory of computation |
Databases, data management, data mining/machine learning
|
| |
|
| David B. Johnson |
Lydia E. Kavraki |
|
Professor of Computer Science and
Electrical & Computer Engineering
|
Noah Harding Professor of Computer Science and Bioengineering
|
| Duncan Hall, Rm 3007 X3063 |
Duncan Hall, Rm 3106 X5737
|
dbj @ rice.edu |
kavraki @ rice.edu |
|
Wireless and mobile networking protocols
|
Robotics, bioinformatics, physical algorithms
|
| |
|
|
James McLurkin
|
John Mellor-Crummey
|
|
Assistant Professor of Computer Science
|
Professor of Computer Science and
Electrical & Computer Engineering
|
|
Duncan Hall, Rm 3118 X3049, Lab Number: X4539
|
Duncan Hall, Rm 3082 X5179 |
|
jmclurkin @ rice.edu
|
johnmc @ rice.edu |
|
Distributed algorithms for multi-robot systems
|
High-performance computing, optimizing compilers,
performance analysis
|
| |
|
|
Luay K. Nakhleh
|
T. S. Eugene Ng
|
Associate Professor of Computer Science
Duncan Hall, Rm 3119 X3959 |
Associate Professor of Computer Science
Electrical & Computer Engineering |
nakhleh @ rice.edu |
Duncan Hall, Rm 3005 X4389 |
| Computational biology and bioinformatics, |
eugeneng @ rice.edu |
|
phylogenetics, biological sequence analysis
|
Computer networks, distributed systems |
| |
|
|
Krishna V. Palem
|
Scott Rixner
|
|
Ken & Audrey Kennedy Professor of Computer Science
|
Associate Professor of Computer Science and |
| Duncan Hall, MS 132 X4664 |
Electrical & Computer Engineering |
krishna.v.palem @ rice.edu |
Duncan Hall, Rm 3032 X6353 |
Adaptive architectures and computing, algorithms, compiler
optimizations, embedded systems, low energy computing, nanoelectronics |
rixner @ rice.edu
Computer architecture, operating systems |
| |
|
|
Vivek Sarkar
|
Devika Subramanian
|
Professor of Computer Science and
E.D. Butcher Chair in Engineering |
Professor of Computer Science and
Electrical & Computer Engineering |
| Duncan Hall, Rm 3131 X5304 |
Duncan Hall, Rm 3094 X5661 |
vivek.sarkar @ rice.edu |
devika @ rice.edu |
Multicore software, programming languages, optimizing and parallel
compilers, virtual machines and managed runtimes, program analysis |
Artificial intelligence
|
| |
|
| Moshe Y. Vardi |
Dan S. Wallach |
Karen Ostrum George Professor
in Computer Engineering |
Professor of Computer Science and
Electrical & Computer Engineering |
Duncan Hall, Rm 3057 X5977
vardi @ rice.edu |
Duncan Hall, Rm 1081 X6155
dwallach @ rice.edu |
| Databases, computational complexity theory, design |
Computer systems, language security |
| specification and verification |
|
|
|
| Joe Warren |
Stephen Wong |
|
Chair & Professor of Computer Science
|
Lecturer in Computer Science
|
| Duncan Hall, Rm 3114 X5728 |
Duncan Hall, Rm 3102 X3814
|
|
jwarren @ rice.edu
|
swong @ rice.edu
|
|
Computer graphics, computational geometry protocols
|
Object-oriented system design
|
|
|