Skip to Content

The University of Texas at Austin

Class Homepages

Spring 2010 Courses
Section Class Name Professor
380D Distributed Computing I Alvisi
380L Advanced Operating Systems Witchel
380P Parallel Systems Lin
383D Numerical Analysis: Interpolation, Approximation, Quadrature, & Differential Equations Cline
384G Computer Graphics Fussell
386C Dependable Computing Systems Mok
388G Algorithms: Technique & Theory Plaxton
388L Intro to Mathematical Logic Lifschitz
388S Formal Semantics & Verification Emerson
388T Theory of Computation Gal
395T Computational Statistics with Applications in Bioinformatics Press
395T Computer Vision Grauman
395T Modeling Biological Data Miranker
395T Principles of High-Performance Computing van de Geijn
395T Topics in Network Protocol Design Lam
395T Topics in Information Retrieval & Web Search Lease
Fall 2009 Courses
Course Number Class Professor
380C Compilers McKinley
380D Distributed Computing I Misra
380S Theory & Practice of Secure Systems Shmatikov
383C Numerical Analysis: Linear Algebra Cline
386L Programming Languages Cook
386M Communication Networks Zhang
386W Wireless Networking Qiu
388 Natural Language Processing Mooney
388H Cryptography Waters
388P

Parallel Algorithms

Ramachandran
391D Data Mining: A Mathematical Perspective Dhillon
391L Machine Learning Ballard
393R Autonomous Robots Stone
394C Algorithms for Computational Biology Warnow
394N Neural Networks Miikkulainen
195T Intro to Graduate Computer Science Klivans & Ravikumar
395T Learning Theory Klivans
395T Intro to Cognitive Science Ballard
395T Pseudorandomness Zuckerman
395T Topics in Multicore Programming Pingali
395T Industrial Formal Methods Hunt
395T Operating Systems Implementation Walfish
398T Supervised Teaching in Computer Science Klivans & Ravikumar
Spring 2009 Courses
Section Class Name Professor
380D Distributed Computing I Alvisi
380P Parallel Systems Lin
383D Numerical Analysis: Int/App/Quad/Diff Equations Cline
386C Dependable Computing Systems Mok
386D Database Systems Miranker
386L Programming Languages Cook
386S Network Protocol Security Gouda
388L Intro to Mathematical Logic Lifschitz
388T Theory of Computation Gal
395T Advanced Cryptography Waters
395T Algorithmic Game Theory Plaxton
395T Computation Orchestration Misra
395T Computational Statistics w/Applications in Bioinformatics Press
395T Computer Vision Grauman
395T Cognitive Science Ballard
395T Memory Management McKinley
395T Topics in Network Protocol Design Lam
395T Topics in Secure & Distributed Storage Systems Walfish
398T Supervised Teaching in Computer Science Porter

Send link updates to smoak@cs.utexas.edu