Runqing Xu (许润清)
About me
I am a third year PhD student in JGU Mainz under the supervision of Sebastian Erdweg.
Current research interests
- Incremental computing
- Functional programming
- Interactive theorem proving
Publications
- Mono types: First-class containers for Datalog
Runqing Xu, David Klopp, Sebastian Erdweg, ECOOP 2025, Published version
- Iscalc: an Interactive Symbolic Computation Framework (System Description)
Bohua Zhan, Yuheng Fan, Weiqiang Xiong, Runqing Xu, CADE 2023, Published version
- Active Learning of One-Clock Timed Automata using Constraint Solving
Runqing Xu, Jie An, Bohua Zhan, ATVA 2022, Published version, arXiv version
- Verified Interactive Computation of Definite Integrals
Runqing Xu, Liming Li, Bohua Zhan, CADE 2021, Published version
Teaching
Courses
- Teaching assistant for Program Analysis, Summer 2025, JGU Mainz
- Teaching assistant for Program Analysis, Summer 2024, JGU Mainz
- Teaching assistant for Logic Programming, Winter 2023, JGU Mainz
Degrees
- 2022, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
MSc in computer science.
Supervisor: Bohua Zhan.
- 2019, School of Electronic Information and Communications, Huazhong University of Science and Technology.
Bachelor in electronic engineering.
Contact
runxu at uni-mainz dot de
(Last modiefied: 20.10.2025)