People

Faculty

Compton, Kevin
Lokam, Satyanarayana
Rounds, Bill
Shi, Yaoyun
Stout, Quentin
Strauss, Martin　

Affiliates

Blass, Andreas
Honeyman, Peter
Huggins, James K.
Jahanian, Farnam　
Koditschek, Daniel E.　
Soparkar, Nandit　
Wellman, Michael P.

Graduate Students

Brown, Jonathan
Du, Ye
Huang, Wei,
Li, Xiaotian
Lippman, Julia
Shi, Xiaolin
Shiowattana, Dungjade
VandenBerg, Denny
Zhu, Yufan 

Former Students

Broering, Beth
Dexter, Scott
Garg, Anupam
Landrum, Joshua
Oehmke, Robert　
Poe, Andrew　
Shen, Wuwei
Tabe, Theodore
Van Wieren, Douglas
Wallace, Chuck

Courses

Research Projects

Abstract State Machines
Adaptive Designs　
Algorithms and Data Structures　
Average Case Complexity　
Default Domain Theory 　
Feature Logic
Finite Model Theory
Graph Theory, Combinatorics, Coding　
Parallel Computing 　
Quantum Computing
Security　

Links