Weming Xiang

alt text 

Weiming Xiang, Ph.D.
Assistant Professor
School of Computer and Cyber Sciences
Augusta University, GA

Georgia Cyber Center
Riverfront Campus
100 Grae Hopper Lane RV 2815
Augusta, Georgia 30901
Email: xiangwming at gmail dot com


Brief Bio: I am currently an Assistant Professor in the School of Computer and Cyber Sciences at Augusta University. Before joining Augusta University, I worked as a Postdoctoral Research Scholar in the Department of Electrical Engineering and Computer Science at Vanderbilt University (Sep 2016 – Jul 2019), and worked as a Postdoctoral Research Associate in the Department of Computer Science and Engineering at the University of Texas at Arlington (Nov 2015 – Aug 2016), a Research Associate in the Department of Mechanical Engineering at the University of Hong Kong (May 2015 – Oct 2015). I completed my Ph.D. at Southwest Jiaotong University in 2014 with a Ph.D. thesis on formal methods for hybrid traffic systems awarded the Outstanding Ph.D. Dissertation of Southwest Jiaotong University 2014.

You can find my CV here.

Research: My research interest is developing formal synthesis and verification techniques and software tools for cyber-physical systems (CPS). My current research centers on formal methods on safety, security and reliablity of learning-enabled CPS. I am also broadly interested in methods and applications across CPS domains, such as control synthesis, stability analysis, reachable set computation, hybrid systems, power and energy, transportation, fuzzy logic, and neural networks.

A full list of papers is available here.

News