James is a Professor of Computer Science at Western Michigan University. He is an author of more than 80 scientific papers and an inventor of 10 United States patents. He received many awards, including 2018 ACM SIGSOFT Distinguished Paper Award, and 2008 ACM TODAES Best Journal Paper of the Year award. He was a visiting professor at the University of Michigan and an intern at Bell Labs. He also served as a panelist for the U.S. National Science Foundation, the NASA PostDoc Grant, and the U.S. Department of Energy Startup Fund. He is the general chair of the 12th IEEE Conference on Software Testing, Validation and Verification.
Jun is currently an Associate Professor of Computer Science at Singapore University of Technology and Design. He was a visiting scholar at MIT. He was a recipient of the 2018 ACM SIGSOFT Distinguished Paper Award and the 2017 ACM SIGSOFT Distinguished Paper Award. He is the co-founder of the PAT model checker, which has been commercialized and used by dozens of companies including JAXA (a.k.a. Japanese NASA). He has published more than 180 journal and conference papers including top conferences in multiple areas.
Chao is an Associate Professor of Computer Science at University of Southern California. He was a faculty member at Virginia Tech, and a research staff member at NEC Laboratories of America, Inc. He has published more than 70 papers and received many awards, including the 2013 FMCAD Best Paper award and the 2010 ACM SIGSOFT Distinguished Paper award.
Yu is an Assistant Professor at Tsinghua University. He has published more than 50 papers in international journals and conferences. He was the recipient of the 2015 Chinese Computer Association Outstanding Doctoral Dissertation award, and the 2017 Excellent Guide Teacher Award for national software test competition.
Rui is an Associate Professor of Information Engineering at Capital Normal University, China, where she is currently an Associate Professor. Her research interests include formal verification and their applications in blockchain ecosystems.