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
Web: | http:/ |
---|
More contact information is available at the Contact page.