James (Xi) Zheng

Ph.D in Electrical & Computer Engineering, The University of Texas at Austin, 2015
M.S. in Information Science from Department of Computer Science and Engineering, University of New South Wales, Australia, 2005
Bachelor in Computer Information System, Fudan University, China, 2001


James' dissertation focused on the design and implementation of middlewares for cyber physical systems (CPS). His research provided formal and practical support to aid verification and validation of mission-critical CPS.