Background Image

Research Projects

In this Section

Available Research Projects

Computer networking
Contact: Y. Liu

Formal methods in program verification
Contact: C. Lynch

Complexity theory
Contact: A. Maciel

Cybersecurity
Contact: J. Matthews

Robotics
Contact: J. Sattar

Human Computer Interface (HCI)
Contact: J. Searleman

Quantum walk algorithms
Contact: C. Tamon