Background Image

Research Projects

In this Section

Available Research Projects  

 

Computer graphics, computer vision, and virtual reality
Contact: N.Banerjee

Multi-sensor systems, linguistics, software engineering, and data mining
Contact: S.Banerjee

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

Computer networking
Contact: Y. Liu

Formal methods in program verifications
Contact: C. Lynch

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