| |
| • |
Functional and Equational Programming
(K.B. Ramesh, Shalitha Senanayake, James Thigpen, H. Shi, Wenshan Yu, Wei Guo, Susu Liao) |
| • |
Formal Verification and Formal Methods
(Sarah Hwang, Zhiyao Liang) |
| • |
Logic in Computer Science
(Julian Zinn, Nicholas Radcliffe, Luis F.T. DeMoraes) |
| • |
Algorithm Animation
(Qien Zhou, Mengchan Chen) |
| • |
Data/Text Mining, Natural Language Processing, Information Retrieval & Extraction
(Araly Barrera, Sanjeev Behl, Helen Liu, S. L. Narayanan, Vasanthi Vuppuluri, Avisha Das) |
| • |
Computer Security/Information Assurance
(Zhiyao Liang, Wei Guo, Tanmay Thakur, Keith Dwyer, Nirmala Rai, Arthur Dunbar, Luis F.T. DeMoraes, Shahryar Baki, Daniel Lee, Boris Chernis, Devin Crane, Ayman El Aassal, Xin Zhou, Houtan Faridi, Gal Egozi, Victor Zeng, Fati Qachfar, Avisha Das, Vu Minh H. Dang, Bryan Tuck, Dainis Boumber (Postdoc)) |
| • |
Program Analysis and Optimization
(Wei Guo) |
| • |
Computer Analysis of Documents and Authorship Attribution
(Vasanthi Vuppuluri) |
| • |
Parallel Algorithms and I/O
(Ling Feng, Xuewu Li, Minghua Sun, Helen Liu, S.L. Narayanan) |
| • |
Human Factors in Security
(Shahryar Baki) |
|
