The Center for Information Assurance and Security encompasses a wide range of research areas through our award-winning team. To learn more about an individual's area of expertise, click on the names below. Each name opens the researcher's home page in a new window.
| CIAS FACULTY & RESEARCH TEAM |
ADDITIONAL FACULTY & RESEARCHERS |
|
| Brent Waters, Director, Associate Professor Cryptography, Computer Security |
Simon S. Lam, Professor Network Protocol Design, Internet Security Services |
|
| Lorenzo Alvisi, Professor Distributed Systems Security |
Mohamed G. Gouda, Professor Secure, Concurrent, Distributed Computing, Formal Methods |
|
| Warren A. Hunt, Jr., Professor Formal Methods, Theorem Proving, Verification |
Isil Dillig, Assistant Professor Formal Methods, Program Analysis, Verification |
|
| Matt Kaufmann, Senior Research Scientist Formal Methods, Theorem Proving |
Al Mok, Professor Distributed Systems, System Architecture, CAD Tools |
|
| Marienus Heule, Research Scientist Formal Methods, Satisfiability Solving |
Mike Dahlin, Adjunct Professor Distributed Systems Security |
|
| Calvin Lin, Professor Compilers, Parallel Computing, Microarchitecture |
Yin Zhang, Adjunct Associate Professor Network Management, Measurment, Security |
|
| J Strother Moore, Professor Formal Methods, Theorem Proving |
Kathryn S. McKinley, Adjunct Professor Compilers, Runtime Systems, Programming Tools |
|
| Lili Qiu, Associate Professor Wireless Network Management, Content Distribution |
Mike Walfish, Adjunct Assistant Professor Distributed Systems Security |
|
| Vitaly Shmatikov, Associate Professor Network Security |
Jayadev Misra, Professor Formal Methods, Concurrent, Distributed Computing |
|
| Emmett Witchel, Assoicate Professor Concurrent Systems and Security |
E. Allen Emerson, Professor Formal Methods, Model Checking |
|
| William D. Young, Research Scientist Formal Methods, Computer Security |
Thomas Dillig, Assistant Professor Formal Methods, Verification, Automatic Constraint Solving |