Background Image

Research Projects

In this Section

Available Research Projects

Software Engineering Tools and Applications
Computer Program Analysis
Contact: D. Hou

Computer networking
Contact: Y. Liu

Formal methods in program verification
Contact: C. Lynch

Complexity theory
Contact: A. Maciel

Cybersecurity
Contact: J. Matthews

Human Computer Interface (HCI)
Contact: J. Searleman

Combinatorics, Probability and Computing
Contact: C. Tamon