Runqing Xu (许润清)
About me
I am a third year PhD student at KIT under the supervision of Sebastian Erdweg.
Current research interests
- Incremental computing
- Functional programming
- Interactive theorem proving
Publications
- Stateful Differential Operators for Incremental Computing
Runqing Xu, Sebastian Erdweg, POPL 2026
- 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 Programmierparadigmen, Winter 2025, KIT
- 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
runqing dot xu at kit dot edu
(Last modified: 06.11.2025)