Meet Our Faculty
Click on a thumbnail for a fullsize image.
Distributed computing and fault tolerance
- Assistant Professor
- Ph.D. 2004, University of California, Berkeley
- (512) 232-7406
- okan@cs.utexas.edu
- Data driven and physically based methods for character motion synthesis
- Physically based simulation
- Global illumination
- Approximate visibility and rendering algorithms
- Image based modelling and rendering
- Human perception
- Computational structural biology
- Computational geometry
- Computer graphics
- Image processing
- Data compression
- Scientific computation visualization
- Knowledge representation and reasoning
- Knowledge acquisition
- Natural language processing
- Software Product Lines
- Program Synthesis
- Model Driven Development
- Program Refactorings
Haran Boral
- Program verification
- automatic theorem proving
- artificial intelligence
- Parallel computation with the major focus on parallel programming
- high level specification languages
- integration of computer science with application areas
- Computer architecture
- microprocessor and VLSI design
- memory systems
- high-performance microarchitectures
- application-specific embedded systems
Phillip J. Cannata
- Information assurance and security
Alan K. Cline
- Mathematical software and numerical analysis
- Programming languages
- software engineering
- information security
- application architecture
- Operating systems and large-scale distributed systems
- Numerical linear algebra
- Scientific computing
- Data mining
- Statistical pattern recognition
- Machine learning
bioinformatics
- Algorithms
- Data structures
- Generic and object-oriented programming in C++ and Java
- Formal methods
- logics and semantics of programs
- concurrent and distributed computing
- Computer architecture
- computer graphics
- VLSI systems design
- and database concurrency control
- Computational complexity
- Lower bounds for complexity of Boolean Functions
- Fault tolerant computing
- Randomness and computation
- Algorithms and combinatorics
- Distributed and concurrent computing
- computing networks
- Network security
- Assistant Professor
- Ph.D. 2006, Massachusetts Institute of Technology
- (512) 471-9521
- grauman@cs.utexas.edu
- Computer vision
- Object recognition
- Content-based image retrieval
- Hardware verification
- Circuit design
- Mechanized theorem proving
- Senior Research Scientist
- Ph.D. 1978, University of Wisconsin at Madison
- (512) 471-9780
- kaufmann@cs.utexas.edu
- Mechanical theorem proving
- Computer architecture
- Microprocessor and VLSI design
- Parallel computing
- Instruction-level parallelism
- embedded systems
- Assistant Professor
- Ph.D. 2002 Massachusetts Institute of Technology
- (512) 471-9790
- klivans@cs.utexas.edu
- Learning theory
- randomized algorithms
- computational complexity
- cryptography
- Artificial intelligence
- robotics
- Qualitative reasoning
- 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
- Programming languages
- language theory
- type theory
- network protocols
- wide-area computing infrastructure and software engineering
- Professor
- Ph.D. 1971 Steklov Mathematical Institute
- (512) 471-9564
- vl@cs.utexas.edu
- Mathematical logic
- Logic programming
- Knowledge representation
- 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
- Assistant Professor
- Ph.D. 1999, University of North Carolina at Chapel Hill
- (512) 232-9136
- billmark@cs.utexas.edu
- Computer graphics and single-chip parallel computer architecture
- real-time computer graphics
- rendering algorithms and systems
- global illumination
- GPU and CMP architectures
- parallel programming interfaces
- Programming language implementation
- compilers
- cache and memory management
- garbage collection
- architecture
- Neural Networks
- Natural language processing
- Cognitive modeling
- Parallel computer architecture
- active/expert database system
- and high performance artificial intelligence systems
- Grid computing
- numerical computation
- Computer science education
- 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
- Professor
- Ph.D. 1988, University of Illinois at Urbana-Champaign
- (512) 471-9558
- mooney@cs.utexas.edu
- Artificial intelligence
- Machine learning
- Natural language understanding
- Mechanical theorem proving
Margaret Myers
- Artificial intelligence
- automatic programming
- physics problem solving
- expert systems
- compilers
- Programming languages
- high-performance computing
- compilers
- Parallel computation
- Analysis of algorithms
- Lower bounds
- Randomization
- Professor, Associate Chair of Academics
- Ph.D. 1984, University of California Irvine
- (512) 471-9565
- porter@cs.utexas.edu
- Artificial intelligence
- Machine learning
- Knowledge-based systems
- Computational Biology
- Genomics
- Algorithms for scientific computing
- Modeling physical and biological systems
- Internet and wireless networking
- Theoretical computer science
- Graph algorithms and data structures
- Parallel computation
- Senior Lecturer
- Ph.D. 1979, Carnegie Mellon University
- (512) 471-9706
- ear@cs.utexas.edu
- Artificial Intelligence and Automata Theory
- Adjunct Professor
- Ph.D. 1970, The University of Texas at Austin
- (512) 401-1190
- hds@mesquite.com
- Computer science education
- Computer security and privacy
- Formal methods for analysis of secure systems and network protocols
- Verification of distributed systems and Electronic commerce
- Artificial intelligence
- Multiagent systems
- Machine learning
- Robotics
- Trading agents
- Autonomic computing
- Robot soccer
- Numerical analysis and parallel processing
- 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
- Computational problems in biology
- Evolutionary trees
- Statistical inference
- Experimental methods
- Graph theory
- Combinatorics
Computer architecture and how the architecture is used by operating systems and compilers
- 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
- 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
