Floragasse 7 – 5th floor, 1040 Vienna
Subscribe to our Newsletter

Jeff Y. Lei

Jeff Y. Lei

is key researcher at SBA Research and Professor in the Department of Computer Science and Engineering at the University of Texas, Arlington.

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.


Jeff Y. Lei received his Bachelor’s degree from Wuhan University (Special Class for Gifted Young), his Master’s degree from Institute of SoftwareChinese 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.