Meet Our Faculty
All tenure-track professors (Assistant, Associate and full Professor) may serve as graduate advisors.
Click on a thumbnail for a full-size image.
A
Distributed computing and fault tolerance
Back to top
B
- Computational structural biology
- Computational geometry
- Computer graphics
- Image processing
- Data compression
- Scientific computation visualization
Back to top
Back to top
- Knowledge representation and reasoning
- Knowledge acquisition
- Natural language processing
Back to top
- Software Product Lines
- Program Synthesis
- Model Driven Development
- Program Refactorings
Back to top
Haran Boral
Back to top
- Professor Emeritus
in Computer Sciences #4 & #5
- Ph.D. 1971, The University of Texas at Austin
- (512) 471-9745
- boyer@cs.utexas.edu
- Program verification
- automatic theorem proving
- artificial intelligence
Back to top
- Professor Emeritus
in Computer Sciences #2
- Ph.D. 1960, The University of Texas at Austin
- (512) 471-9579
- browne@cs.utexas.edu
- Parallel computation with the major focus on parallel programming
- high level specification languages
- integration of computer science with application areas
Back to top
- Computer architecture
- microprocessor and VLSI design
- memory systems
- high-performance microarchitectures
- application-specific embedded systems
Back to top
C
Phillip J. Cannata
Back to top
- Information assurance and security
Back to top
Alan K. Cline
- Mathematical software and numerical analysis
Back to top
- Programming languages
- software engineering
- information security
- application architecture
Back to top
D
- Operating systems and large-scale distributed systems
Back to top
- Numerical linear algebra
- Scientific computing
- Data mining
- Statistical pattern recognition
- Machine learning
- Bioinformatics
Back to top
- Algorithms
- Data structures
- Generic and object-oriented programming in C++ and Java
Back to top
E
Back to top
- Formal methods
- logics and semantics of programs
- concurrent and distributed computing
Back to top
F
- Computer architecture
- computer graphics
- VLSI systems design
- and database concurrency control
Back to top
G
- Computational complexity
- Lower bounds for complexity of Boolean Functions
- Fault tolerant computing
- Randomness and computation
- Algorithms and combinatorics
Back to top
- Distributed and concurrent computing
- computing networks
- Network security
Back to top
- Assistant Professor
- Ph.D. 2006, Massachusetts Institute of Technology
- (512) 471-9521
- grauman@cs.utexas.edu
- Computer vision
- Object recognition
- Content-based image retrieval
Back to top
H
- Hardware verification
- Circuit design
- Mechanized theorem proving
Back to top
K
- Senior Research Scientist
- Ph.D. 1978, University of Wisconsin at Madison
- (512) 471-9780
- kaufmann@cs.utexas.edu
- Mechanical theorem proving
Back to top
- Computer architecture
- Microprocessor and VLSI design
- Parallel computing
- Instruction-level parallelism
- embedded systems
Back to top
- Assistant Professor
- Ph.D. 2002 Massachusetts Institute of Technology
- (512) 471-9790
- klivans@cs.utexas.edu
- Learning theory
- randomized algorithms
- computational complexity
- cryptography
Back to top
- Professor Emeritus in Computer Sciences #3
- Ph.D. 1977, Massachusetts Institute of Technology
- (512) 471-9561
- kuipers@cs.utexas.edu
- Artificial intelligence
- robotics
- Qualitative reasoning
Back to top
L
- Professor
- Ph.D. 1974, University of California, Los Angeles
- (512) 471-9531
- lam@cs.utexas.edu
- Communication protocols
- Computer networks
- Performance models
- Formal verification methods
- Network security
Back to top
- Professor
- Ph.D. 1971 Steklov Mathematical Institute
- (512) 471-9564
- vl@cs.utexas.edu
- Mathematical logic
- Logic programming
- Knowledge representation
Back to top
- Associate Professor
- Ph.D. 1992 University of Washington
- (512) 471-9560
- lin@cs.utexas.edu
- Compilers and languages for parallel computing
- Parallel performance analysis
- Scientific computing
Back to top
M
- Programming language implementation
- compilers
- cache and memory management
- garbage collection
- architecture
Back to top
- Neural Networks
- Natural language processing
- Cognitive modeling
- Natural Computation
Back to top
- Parallel computer architecture
- Active/expert database system
- and high performance artificial intelligence systems
Back to top
Back to top
- Grid computing
- numerical computation
- Computer science education
Back to top
- Professor
- Ph.D. 1983, Massachusetts Institute of Technology)
- (512) 471-9542
- mok@cs.utexas.edu
- Fault-tolerant hard-real-time systems
- System architecture
- Computer-aided system design tools
- Software engineering
Back to top
- Professor
- Ph.D. 1988, University of Illinois at Urbana-Champaign
- (512) 471-9558
- mooney@cs.utexas.edu
- Artificial intelligence
- Machine learning
- Natural language understanding
Back to top
- Mechanical theorem proving
Back to top
Back to top
N
- Artificial intelligence
- automatic programming
- physics problem solving
- expert systems
- compilers
Back to top
P
- Programming languages
- high-performance computing
- compilers
Back to top
- Parallel computation
- Analysis of algorithms
- Lower bounds
- Randomization
Back to top
- Artificial intelligence
- Machine learning
- Knowledge-based systems
Back to top
- Computational Biology
- Genomics
- Algorithms for scientific computing
- Modeling physical and biological systems
Back to top
Q
- Internet and wireless networking
Back to top
R
- Theoretical computer science
- Graph algorithms and data structures
- Parallel computation
Back to top
- Assistant Professor
- Ph.D. 2007, Carnegie Mellon University
- 512-232-9136
- pradeepr at cs utexas edu
- Statistical machine learning
Back to top
- Senior Lecturer
- Ph.D. 1979, Carnegie Mellon University
- (512) 471-9706
- ear@cs.utexas.edu
- Artificial Intelligence and Automata Theory
Back to top
S
- Computer science education
Back to top
- Computer security and privacy
- Formal methods for analysis of secure systems and network protocols
- Verification of distributed systems and Electronic commerce
Back to top
- Artificial intelligence
- Multiagent systems
- Machine learning
- Robotics
- Trading agents
- Autonomic computing
- Robot soccer
Back to top
V
- Numerical analysis and parallel processing
Back to top
- Adjunct Professor
- Ph.D. 1993, University of California,San Diego
- (512) 471-9732
- vin@cs.utexas.edu
- Multimedia systems
- High-speed networking
- Mobile computing
- Large-scale distributed systems
Back to top
W
- Assistant Professor
- Ph.D. 2008, Massachusetts Institute of Technology
- (512) 471-9732
- Networked and distributed systems
-
Security
Back to top
- Computational problems in biology
- Evolutionary trees
- Statistical inference
- Experimental methods
- Graph theory
- Combinatorics
Back to top
- Network Security
- Applied Cryptography
Back to top
- Assistant Professor
- Ph.D. 2004, Massachusetts Institute of Technology
- (512) 232-7889
- witchel@cs.utexas.edu
Computer architecture and how the architecture is used by operating systems and compilers
Back to top
Y
- Lecturer, Research Scientist
- Ph.D. 1988, The University of Texas at Austin
- (512) 471-9782
- byoung@cs.utexas.edu
- Automated reasoning
- Computer security
- Program verification
Back to top
Z
Back to top
- Professor
- Ph.D. 1991, University of California, Berkeley
- (512) 471-9729
- diz@cs.utexas.edu
- The role of randomness in computation
- Complexity theory
- Coding theory
- Cryptography
Back to top
