Lei Bu

Lei Bu is a Professor and Vice Dean at the Software Institute, Nanjing University. He leads research in formal verification, cyber-physical systems, and software engineering, with a focus on bounded model checking and hybrid system analysis.

• B.Sc. and Ph.D. in Computer Science from Nanjing University (2004, 2010)
• Visiting student at Carnegie Mellon University and University of Texas at Dallas

His research integrates formal methods and machine learning for verifying complex systems like IoT and software with real-time constraints. Key projects include BACH Toolset and BRICK for reachability analysis.

Recent publications demonstrate expertise in hybrid system verification, cache side-channel detection, and parallel code analysis frameworks. His work bridges theoretical advancements with practical applications in safety-critical systems.

• Zhongchuang Software Talent Award (2023)
• CCF-IEEE CS Young Computer Scientist Award (2022)
• High-Tech Software Innovation Awards (2019-2023)

As Principal Investigator, he leads major projects funded by National Science Foundation of China and Jiangsu Natural Science Foundation (2020-2027). Current tools include BACH for hybrid systems and MLB for Java symbolic execution.