Scholar
Lei Bu
Google Scholar ID: 5SHgTGYAAAAJ
Nanjing University
Citations & Impact
Citations
708
H-index
14
i10-index
23
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Oct 2023: Zhongchuang Software Talent Award (Zhongchuang Software Foundation)
- Oct 2022: CCF-IEEE CS Young Computer Scientist Award (China Computer Federation & IEEE Computer Society)
- Dec 2020: Outstanding Teachers of Computing in Higher Education Award (National Computing Teaching Advisory Board, CCF, China Teacher Development Foundation)
- Nov 2019: NASAC Young Software Innovation Award (CCF Software Engineering & System Software Technical Committees)
- Jan 2016: CCF Young Talent Development Program
- Sep 2014: Microsoft Research Asia StarTrack Program Visiting Young Faculty
- Sep 2007: Full Scholarship from China Scholarship Council (CSC)
- Developed BRICK (a special edition of BACH), a C model checker for reachability analysis of embedded C code, participated in SV-COMP2022 ReachSafety/Floats Competition
- Guest Editor for a special issue on Security of Artificial Intelligence in Journal of Cyber Security (in Chinese)
- Program Co-chair of CCF ChinaSoft 2022
- Track Leader of the PDCB track at ARCH-COMP 2022 (6th International Competition on Verifying Continuous and Hybrid Systems)
Research Experience
- Jul 2022–Present: Professor and Vice Dean, Software Institute, Nanjing University
- Dec 2018–Jun 2022: Professor, Department of Computer Science and Technology, Nanjing University
- Dec 2013–Dec 2018: Associate Professor, Department of Computer Science and Technology, Nanjing University
- Sep 2014–Mar 2015: StarTrack Visiting Young Faculty, Software Analytics Group, Microsoft Research Asia
- Aug 2010–Dec 2013: Assistant Professor, Department of Computer Science and Technology, Nanjing University
Education
- B.Sc. in Computer Science, Department of Computer Science and Technology, Nanjing University, 2004
- Ph.D. in Computer Science, Department of Computer Science and Technology, Nanjing University, 2010; Supervisor: Prof. Xuandong Li
- Visiting Student, Department of Computer Science, Carnegie Mellon University, USA (Sep 2007–Sep 2008); Supervisor: Prof. Edmund M. Clarke
- Visiting Student, Department of Computer Science, University of Texas at Dallas, USA (Feb 2006–Sep 2006); Supervisor: Prof. W. Eric Wong
- Ph.D. candidate in Computer Software and Theory, Nanjing University (Sep 2006–Apr 2010)
Co-authors