Class Homepages

Spring 2014

Course Number Class Title Professor
195 Practicum in Computer Science Applications Alvisi
380C Compilers Lin
380C Compilers Lin
386D Database Systems Batory
386L Programming Languages Cook
388 Natural Language Processing Mooney
388C Combinatorics and Graph Theory Zuckerman
388L Intro to Mathematical Logic Lifschitz
388M Communication Complexity Gal
388S Formal Semantics & Verification Emerson
391L Machine Learning Ballard
395T Comp Stat Applications to Bioinformatics Press
395T Human Computation/Crowdsourcing Lease
395T Parallel Algorithms Scientific Computation Biros
395T Predicted Mechs in Computer Architecture Lin
395T Semantic Web/Ontols/Cloud Bases Miranker
396M Advanced Networking Protocols Lam

Fall 2013

Course Number Class Title Professor
CS 380D Distributed Computing I Alvisi
CS 380D Distributed Computing I Alvisi
CS 380L Advanced Operating Systems Witchel
CS 384G Computer Graphics Fussell
CS 384R Geometric (Bio-) Modeling and Visualization Baja
CS 386W Wireless Networking Qiu
CS 388P Parallel Algorithms Ramachandran
CS 388R Randomized Algorithms Plaxton
CS 392F Feature-Oriented Programming Batory
CS 393R Autonomous Robots Stone
CS 394C Algorithms for Computational Biology Warnow
CS 394N Neural Networks Miikkulainen
CS 395T Concepts of Info Retrieval Lease
CS 395T Graphical Models Ravikumar
CS 395T Learning Theory Klivans
CS 395T Software Multicore Processors Pingali

Spring 2013

Course Number Class Title Professor
380C Compilers Pingali
380P Parallel Systems Lin
384R Geometric Modeling & Visualization Bajaj
388 Natural Language Processing Mooney
388C Combinatorics and Graph Theory Gal
388G Algorithms: Techniques and Theory Plaxton
388L Intro to Mathematical Logic Lifschitz
392F Feature-Oriented Programming Batory
394R Reinforcement Learning: Theory and Practice Stone
395T Comp Stat Appl in Bioinfomatics Press
395T Prediction Mechanisms Comp Arc Lin
395T Practical Satisfiability Solving Hunt
396M Advanced Networking Protocols Lam

Fall 2012

Course Number Class Title Professor
383C Numerical Anly: Linear Algebra Dhillon
386L Programming Languages Cook
388P Parallel Algorithms Ramachandran
395T Concepts of Information Retrieval (and Web Search) Lease
395T Prog Transformation/Anly Tools Baxter
395T Coding Theory Zuckerman
CS 383D CS 383D Cline
CS 384G Computer Graphics Fussell
CS 386C Dependable Computing Systems Mok
CS 388H Cryptography Waters
CS 389R Recursion and Induction Hunt
CS 394N Neural Networks Miikkulainen
CS 395T Visual Recognition Grauman
CS 395T Graphical Models Ravikumar