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
Contact: J. Matthews
Human Computer Interface (HCI)
Contact: J. Searleman
Combinatorics, Probability and Computing
Contact: C. Tamon