|
Robert "Corky" Cartwright
|
Keith D. Cooper |
| Professor of Computer Science |
L. John & Ann H. Doerr Chair in Computational Engineering;
Professor of Computer Science and Electrical & Computational Engineering
|
| Duncan Hall, Rm 3104 X6042 |
Duncan Hall, Rm 2065 X6013 |
cork @ rice.edu |
keith @ rice.edu |
|
Programming language design and implementation,
program semantics and verification
|
Compiler construction
|
| |
|
| Alan L. Cox |
Ronald N. Goldman |
Associate Professor of Computer Science and
Electrical & Computational Engineering |
Professor of Computer Science |
| Duncan Hall, Rm 3009 X5730 |
Duncan Hall, Rm 3116 X5729 |
alc @ rice.edu |
rng @ rice.edu |
| Operating systems, computer architecture |
Computer graphics, geometric modeling |
| |
|
| John Greiner |
Chris M. Jermaine |
| Lecturer in Computer Science |
Associate Professor of Computer Science
|
| Duncan Hall, Rm 3056, 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 |
Duncan Hall, Rm 3082 X5179 |
jmclurkin @ rice.edu |
johnmc @ rice.edu |
|
High-performance computing, optimizing compilers,
performance analysis
|
High-performance computing, optimizing compilers,
performance analysis
|
| |
|
|
Luay K. Nakhleh
|
T. S. Eugene Ng
|
| Assistant Professor of Computer Science |
Assistant Professor of Computer Science |
| Duncan Hall, Rm 3119 X3959 |
Duncan Hall, Rm 3005 X4389 |
nakhleh @ rice.edu |
eugeneng @ rice.edu |
|
Computational biology and bioinformatics,
phylogenetics, biological sequence analysis
|
Computer networks, distributed systems |
| |
|
|
Dung "Zung" Nguyen
|
Krishna V. Palem
|
|
Instructor of Computer Science
|
Ken & Audrey Kennedy Professor of Computer Science |
| Duncan Hall, Rm 3098 X3835 |
Duncan Hall, MS 132 X4664 |
dxnguyen @ rice.edu |
krishna.v.palem @ rice.edu |
Object-oriented programming,
programming methodology |
Adaptive architectures and computing, algorithms, compiler
optimizations, embedded systems, low energy computing, nanoelectronics |
| |
|
|
Scott Rixner
|
Vivek Sarkar
|
Associate Professor of Computer Science and
Electrical & Computational Engineering |
Professor of Computer Science and
E.D. Butcher Chair in Engineering |
| Duncan Hall, Rm 3032 X6353 |
Duncan Hall, Rm 3131 X5304 |
rixner @ rice.edu |
vivek.sarkar @ rice.edu |
Computer architecture, operating systems
|
Multicore software, programming languages, optimizing and parallel
compilers, virtual machines and managed runtimes, program analysis |
| |
|
| Devika Subramanian |
Walid Taha |
Professor of Computer Science and
Electrical & Computational Engineering |
Assistant Professor of Computer Science |
| Duncan Hall, Rm 3094 X5661 |
Duncan Hall, Rm 3103 X5718 |
devika @ rice.edu |
taha @ rice.edu |
| Artificial intelligence |
Programming languages, embedded systems |
| |
|
| Moshe Y. Vardi |
Dan S. Wallach |
|
Karen Ostrum George Professor in
Computational Engineering
|
Associate Professor of Computer Science and
Professor of Computer Science
|
| Duncan Hall, Rm 3096 X5977 |
Duncan Hall, Rm 3004 X6155 |
vardi @ rice.edu |
dwallach @ rice.edu |
Databases, computational complexity theory, design
specification and verification |
Computer systems, language security |
|
|
|
|
| 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
|