Research Interests
His research is in the area of automated software analysis, testing and verification, with a current focus on building trustworthy AI-based software systems.
Bio
Jeff Y. Lei received his Bachelor’s degree from Wuhan University (Special Class for Gifted Young), his Master’s degree from Institute of Software, Chinese Academy of Sciences, and his PhD degree from North Carolina State University. He was a Member of Technical Staff in Fujitsu Network Communications, Inc. for about three years.
After that, he joined the Department of Computer Science and Engineering, University of Texas at Arlington, as an Assistant Professor. From 2008 until 2014 Jeff Y. Lei held the position of an Associate Professor.
He worked on the following research projects, among others: SENTINEL: Security Interaction Testing for IoT Systems and Blockchains sponsored by National Institute of Standards and Technology (NIST) – (2018-2021), Security Protocol Interaction Testing in Practice (SPLIT) sponsored by SBA Research, Austria – (2016-2018) and Combinatorial Testing for Big Data Software sponsored by National Institute of Standards and Technology (NIST) – (2015-2018).
Jeff Y. Lei received the Regional Excellence in Technology Transfer Award sponsored by Federal Laboratory Consortium (Mid-Atlantic Region) in 2009 and the Outstanding Associate Award sponsored by NIST in 2013.