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 and cloud computing
Contact: J. Matthews

Robotics and AI
Contact: J. Sattar

Quantum information
Contact: C. Tamon