| |
| • |
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) |
| • |
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) |
|
