Scholar
Dezhi Ran
Google Scholar ID: vBqnPi8AAAAJ
School of Computer Science, Peking University
Citations & Impact
Citations
479
H-index
10
i10-index
10
Publications
20
Co-authors
9
list available
Publications
Resume (English only)
Academic Achievements
- - Published multiple papers in conferences and journals such as FSE, ASPLOS, SCIS, TOSEM, ISSTA, ICSE, and Computer
- - Received the Special Funding Program for Hunyuan Foundation Model award from CIE&Tencent
Research Experience
- - Leader of the RISE group at Peking University, focusing on research in software engineering and artificial intelligence
- - Current research interests are focused on two specific topics: (1) rigorous software engineering for developing provably effective automated testing and development for complex software systems (2) intelligent software engineering for deriving engineering principles for foundation model development and deployment with system software support.
Education
- - Ph.D. in Software & Theory, 2021-2026 (expected), Peking University
- - BSc (Summa Cum Laude) in Computer Science, 2017-2021, Peking University
- - Advisor Information: Advised by Prof. Tao Xie during Ph.D.; worked with Prof. Kaigui Bian on short video streaming and recommendation, and with Prof. Jie Zhang and Prof. Xiaotie Deng on algorithmic game theory and auction design during undergraduate studies.
Background
- - Research Interests: Software engineering, programming languages, and reinforcement learning, especially software testing and program synthesis with large language models
- - Professional Field: Rigorous and intelligent software engineering
- - Biography: Dezhi Ran is a fourth-year Ph.D. candidate at Peking University, advised by Prof. Tao Xie. He leads the RISE (Rigorous and Intelligent Software Engineering) Group at Peking University.
Miscellany
- - Personal interests and hobbies not mentioned
