| 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 |
| 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 | 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 |
| 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