Professor: Lorenzo Alvisi
Class page (own by Prof. Alvisi)
Main Subjects: Practical fault tolerance for synchronous and asynchronous system. Consensus and Terminating reliable broadcast for benign failure and byzantine failure. Impossible solution and lower bound theories. Failure detector for crash failure. State machine replication.
Main Projects: 3 phase commit protocol, Paxos state machine replica and Bayou system.
Professor: Calvin Lin
Class page (own by Prof. Lin)
LLVM: http://llvm.org/
Main Projects (using LLVM): Local Optimization, Iterative Data Flow Analysis, Loop Invariant Code Motion
Final Project: General Linear Algebra Computing Environment (GLACE)
MW 1230-0200, WAG 201
Professor: Thomas Dillig
Class page (own by Prof. Dillig)
Professor: George Biros
Main Subject: QR factorization, SVD decomposition, Stable algorithms, Gauss Elimination, Precondition conjugate gradient method.
Main Project: Nested dissection precondition for conjugate gradient method.
Professor: George Biros
Programming API: OpenMP, MPI, CUDA
Professor: Inderjit Dhillon
Class page (own by Prof. Dhillon)
Professor: Dana Ballard
Class page (own by Prof. Ballard)
Professor: Risto Miikkulainen
Class page (own by Prof. Miikkulainen)
TTH 1230-0200, CPE 2.212
Professor: Constantine Caramanis
Class page (own by Prof. Caramanis)
MW 1400-1530, GDC 4.304
Professor: Raymond J. Mooney
Professor: Vladimir Lifschitz
Class page (own by Prof. Lifschitz)
Programming Tools: Clingo & Glingo
Main Subjects: propositional formula, minimal mode, stable model, answer set programming, natural deduction, predicate formula
Main Projects: N-queens problems, Sequential covering arrays, Sudoku, Graph coloring, Clique
Site designed by Chenhan D. Yu