Research Associate

Kenneth Borup
Todd Schmid
Weijia Song
Research Associate ; Ph.D., Peking University, 2014

Research Focus: Cloud Storage and file system, network and distributed system

Postdoctoral Associate/Fellow

Kiante Brantley
Shufeng Kong
Postdoctoral Associate ; Ph.D., University of Technology, Sydney (Australia)

Visiting Professor/Fellow/Scientist

Hyung-Chan An
Christoph Kreitz
Adjunct Professor ; Ph.D., University of Hagen, 1984

Research Focus: Program synthesis, automated deduction, program verification, and formal logics