Scholar
Qiuping Yi
Google Scholar ID: SiDDwsMAAAAJ
ISCAS
Citations & Impact
Citations
116
H-index
5
i10-index
4
Publications
17
Co-authors
2
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- - Published several full papers in top-tier venues (including USENIX Security/FSE/ICSE/TSE)
- - Honors and Awards: National Scholarships of China (2015), Outstanding Student Award of Chinese Academy of Sciences (2010, 2009), Outstanding Student Award of Sichuan University (2006)
Research Experience
- - 2020 to present: Associate Professor at the School of Computer Science, BUPT
- - 2018.02~2019.05: Postdoc at Texas State University
- - 2016.06~2017.06: Postdoc at Texas A&M University
Education
- - Ph.D.: 2008.09~2016.01, Institute of Software, Chinese Academy of Sciences (ISCAS)
- - Bachelor's Degree: 2004.09~2008.06, College of Computer Science, Sichuan University
Background
- - Research Interests: Software Engineering and Formal Methods
- - Professional Field: System design, debugging, analysis, and verification
- - Brief Introduction: Associate Professor at the School of Computer Science, Beijing University of Posts and Telecommunications (BUPT), focusing on program analysis, concurrent program testing and verification, and combining AI with program analysis techniques.
Miscellany
- Looking for highly motivated PhD/master students, visiting students, and BUPT undergraduate interns to work in my team. Please feel free to contact me for any further information!
