Faculty

UTCS Research Areas Contact
Lorenzo Alvisi Lorenzo Alvisi
Professor
Homepage | Profile
Operating systems, Distributed systems, and Networking GDC 6.510
lorenzo [at] cs [dot] utexas [dot] edu
(512) 471-9792
Chandrajit Bajaj Chandrajit Bajaj
Professor
Homepage | Profile
POB 2.324
bajaj [at] cs [dot] utexas [dot] edu
(512) 471-8870
Dana Ballard Dana H. Ballard
Professor
Homepage | Profile
GDC 3.510
dana [at] cs [dot] utexas [dot] edu
(512) 471-9750
Don Batory Don Batory
Professor
Homepage | Profile
Model Driven Engineering GDC 5.826
dsb [at] cs [dot] utexas [dot] edu
(512) 471-9713
Robert S. Boyer
Professor Emeritus in Computer Science #4
Professor Emeritus in Computer Science #5

Homepage | Profile

boyer [at] cs [dot] utexas [dot] edu
(512) 471-9745
James C. Browne James C. Browne
Regents Professor Emeritus in Computer Science #2
Homepage | Profile
GDC 5.418
browne [at] cs [dot] utexas [dot] edu
(512) 471-9579
Doug Burger Doug Burger
Adjunct Professor
Homepage | Profile
Computer Architecture
Phillip E. Cannata Phillip E. Cannata
Adjunct Professor
Homepage | Profile

cannata [at] cs [dot] utexas [dot] edu
(512) 231-7226
Alan K. Cline Alan K. Cline
Professor
Profile
Scientific Computing GDC 5.808
cline [at] cs [dot] utexas [dot] edu
(512) 471-9717
William R. Cook William R. Cook
Associate Professor
Homepage | Profile
GDC 5.824
wcook [at] cs [dot] utexas [dot] edu
(512) 471-9555
MIke Dahlin Michael D. Dahlin
Adjunct Professor
Homepage | Profile
GDC 6.436
dahlin [at] cs [dot] utexas [dot] edu
(512) 471-9549
Inderjit S. Dhillon Inderjit S. Dhillon
Professor
Homepage | Profile
GDC 4.704
dhillon [at] cs [dot] utexas [dot] edu
(512) 471-9725
Robert F. Dickerson Robert F. Dickerson
Lecturer
Homepage | Profile
GDC 5.318
rfd [at] cs [dot] utexas [dot] edu
Işil Dillig Işil Dillig
Assistant Professor
Homepage | Profile
GDC 5.726
isil [at] cs [dot] utexas [dot] edu
512-471-9794
Thomas Dillig Thomas Dillig
Assistant Professor
Profile
Formal Methods GDC 7.716
tdillig [at] cs [dot] utexas [dot] edu
512-471-9791
Glenn Downing Glenn Downing
Lecturer
Homepage | Profile
GDC 6.308
downing [at] cs [dot] utexas [dot] edu
(512) 471-7316
E. Allen Emerson E. Allen Emerson
Professor
Homepage | Profile
Formal Methods GDC 3.720
emerson [at] cs [dot] utexas [dot] edu
(512) 471-9537
Donald S. Fussell Donald S. Fussell
Professor
Homepage | Profile
GDC 5.510
fussell [at] cs [dot] utexas [dot] edu
(512) 471-9719
Anna Gál Anna Gál
Professor
Homepage | Profile
Theoretical Computer Science GDC 4.420
panni [at] cs [dot] utexas [dot] edu
(512) 471-9539
Mohamed G. Gouda
Professor
Homepage | Profile
GDC 6.824
gouda [at] cs [dot] utexas [dot] edu
(512) 471-9532
Kristen Grauman Kristen Grauman
Associate Professor
Homepage | Profile
GDC 4.726
grauman [at] cs [dot] utexas [dot] edu
(512) 471-9521
Warren A. Hunt Jr. Warren A. Hunt Jr.
Professor
Homepage | Profile
GDC 7.818
hunt [at] cs [dot] utexas [dot] edu
(512) 471-9748
Matt Kaufmann Matt Kaufmann
Senior Research Scientist
Homepage | Profile
Formal Methods GDC 7.804
kaufmann [at] cs [dot] utexas [dot] edu
(512) 471-9780
Stephen W. Keckler Stephen W. Keckler
Adjunct Professor
Homepage | Profile
Computer Architecture
skeckler [at] cs [dot] utexas [dot] edu
(512) 471-9763
Adam Klivans Adam Klivans
Associate Professor
Homepage | Profile
GDC 4.826
klivans [at] cs [dot] utexas [dot] edu
(512) 471-9790
Simon S. Lam Simon S. Lam
Professor
Homepage | Profile
GDC 6.826
lam [at] cs [dot] utexas [dot] edu
(512) 471-9531
Vladimir Lifschitz Vladimir Lifschitz
Professor
Homepage | Profile
GDC 3.808
vl [at] cs [dot] utexas [dot] edu
(512) 471-9564
Calvin Lin Calvin Lin
Professor
Homepage | Profile
GDC 5.512
lin [at] cs [dot] utexas [dot] edu
(512) 471-9560
Kathryn S. McKinley Kathryn S. McKinley
Adjunct Professor
Homepage | Profile

mckinley [at] cs [dot] utexas [dot] edu
(512) 232-7467
Risto Miikkulainen Risto Miikkulainen
Professor
Homepage | Profile
GDC 3.826
risto [at] cs [dot] utexas [dot] edu
(512) 471-9571
Daniel P. Miranker Daniel P. Miranker
Professor
Homepage | Profile
GDC 5.436
miranker [at] cs [dot] utexas [dot] edu
(512) 471-9541
Jayadev Misra Jayadev Misra
Professor
Homepage | Profile
Formal Methods GDC 7.722
misra [at] cs [dot] utexas [dot] edu
(512) 471-9550
Shyamal Mitra Shyamal Mitra
Lecturer
Homepage | Profile
GDC 6.320
mitra [at] cs [dot] utexas [dot] edu
(512) 471-9708
Aloysius K. Mok Aloysius K. Mok
Professor
Homepage | Profile
GDC 6.512
mok [at] cs [dot] utexas [dot] edu
(512) 471-9542
Raymond J. Mooney Raymond J. Mooney
Professor
Homepage | Profile
GDC 3.512
mooney [at] cs [dot] utexas [dot] edu
(512) 471-9558
J Strother Moore J Strother Moore
Professor
Homepage | Profile
GDC 7.802
moore [at] cs [dot] utexas [dot] edu
(512) 471-9590
Margaret Myers Margaret Myers
Lecturer
Homepage | Profile
GDC 5.706
myers [at] cs [dot] utexas [dot] edu
(512) 471-9533
Vallath Nandakumar Vallath Nandakumar
Lecturer
Homepage | Profile
GDC 6.314
vallathn [at] cs [dot] utexas [dot] edu
512-471-9722
Alison N. Norman
Lecturer
Homepage | Profile
GDC 6.310
ans [at] cs [dot] utexas [dot] edu
(512) 232-7439
Gordon S. Novak Jr. Gordon S. Novak Jr.
Professor
Homepage | Profile
GDC 3.824
novak [at] cs [dot] utexas [dot] edu
(512) 471-9569
Keshav Pingali Keshav Pingali
Professor
Homepage | Profile
Programming Languages and Implementation
pingali [at] cs [dot] utexas [dot] edu
(512) 232-6567
C. Greg Plaxton C. Greg Plaxton
Professor
Homepage | Profile
Theoretical Computer Science GDC 4.512
plaxton [at] cs [dot] utexas [dot] edu
(512) 471-9751
Bruce W. Porter Bruce W. Porter
Professor
Chair

Homepage | Profile
Artificial Intelligence GDC 3.704 / GDC 2.308
porter [at] cs [dot] utexas [dot] edu
(512) 471-9565
William H. Press William H. Press
Professor
Homepage | Profile
Bioinformatics and Computational Biology
wpress [at] cs [dot] utexas [dot] edu
(512) 232-4022
Eric Price Eric Price
Assistant Professor
Profile
Lili Qiu Lili Qiu
Associate Professor
Homepage | Profile
GDC 6.806
lili [at] cs [dot] utexas [dot] edu
512-232-7890
Vijaya Ramachandran Vijaya Ramachandran
Professor
Homepage | Profile
Theoretical Computer Science GDC 4.430
vlr [at] cs [dot] utexas [dot] edu
(512) 471-9554
Pradeep Ravikumar Pradeep Ravikumar
Assistant Professor
Homepage | Profile
GDC 4.808
pradeepr [at] cs [dot] utexas [dot] edu
512-232-9136
Elaine Rich Elaine Rich
Distinguished Senior Lecturer
Homepage | Profile
GDC 5.810
ear [at] cs [dot] utexas [dot] edu
(512) 471-9706
Mike Scott Mike Scott
Distinguished Senior Lecturer
Homepage | Profile
GDC 6.304
scottm [at] cs [dot] utexas [dot] edu
(512) 471-9785
Vitaly Shmatikov Vitaly Shmatikov
Associate Professor
Homepage | Profile
GDC 6.812
shmat [at] cs [dot] utexas [dot] edu
(512) 471-9530
Peter Stone Peter Stone
Professor
Homepage | Profile
GDC 3.508
pstone [at] cs [dot] utexas [dot] edu
(512) 471-9796
Paul Toprac
Senior Lecturer
Homepage | Profile
GDC 6.318
topcat [at] cs [dot] utexas [dot] edu
512-471-9574
Robert A. Van de Geijn Robert A. Van de Geijn
Professor
Homepage | Profile
Scientific Computing GDC 5.704
rvdg [at] cs [dot] utexas [dot] edu
(512) 471-9720
Harrick M. Vin Harrick M. Vin
Adjunct Professor
Homepage | Profile

vin [at] cs [dot] utexas [dot] edu
(512) 471-9732
Etienne Vouga Etienne Vouga
Assistant Professor
Profile
GDC 5.508
evouga [at] cs [dot] utexas [dot] edu
(512) 232-7482
Michael Walfish Michael Walfish
Adjunct Assistant Professor
Homepage | Profile
GDC 6.508
mwalfish [at] cs [dot] utexas [dot] edu
(512) 471-9732
Tandy Warnow Tandy Warnow
Adjunct Professor
Homepage | Profile
GDC 4.510
tandy [at] cs [dot] utexas [dot] edu
(512) 471-9724
Brent Waters Brent Waters
Associate Professor
Homepage | Profile
GDC 6.810
bwaters [at] cs [dot] utexas [dot] edu
512-232-7464
Emmett Witchel Emmett Witchel
Associate Professor
Homepage | Profile
GDC 6.432
witchel [at] cs [dot] utexas [dot] edu
(512) 232-7889
William D. Young William D. Young
Research Scientist
Senior Lecturer

Homepage | Profile
GDC 7.810
byoung [at] cs [dot] utexas [dot] edu
(512) 471-9782
Yin Zhang Yin Zhang
Adjunct Associate Professor
Homepage | Profile
GDC 6.808
yzhang [at] cs [dot] utexas [dot] edu
(512) 232-7496
David I. Zuckerman David I. Zuckerman
Professor
Homepage | Profile
Theoretical Computer Science GDC 4.508
diz [at] cs [dot] utexas [dot] edu
(512) 471-9729