Skip to main content

James Zheng
Local Visiting Student; PhD Candidate, University of Texas at Austin

Research Interests

His current research focuses on the design and implementation of middlewares for cyber physical systems (CPS), including looking into model-driven development for fast prototyping of CPS and various way (especially formal methods) to aid verification and validation of mission-critical CPS.

Contact Details


More contact information is available at the Contact page.

Photo of James Zheng