Long Qian

Background & experience

Curriculum vitae

Long Qian · Mathematical logic · Carnegie Mellon University

longq@andrew.cmu.edu longqianql.github.io

Education

PhD in Pure and Applied Logic

Fall 2021–present

Carnegie Mellon University

Advisor: André Platzer.

BSc (Hons) in Mathematics

2020

Victoria University of Wellington

BSc in Mathematics and Computer Science

2016–2019

Massey University

Research interests

Differential dynamic logic; logical foundations of differential equations and hybrid systems; formal methods; computable analysis; computer-assisted mathematics.

Publications & preprints

Authors listed in alphabetical order.

  1. Linear Axiomatization of Linear Differential Equations

    Long Qian and André Platzer.

    EACSL Annual Conference on Computer Science Logic (CSL), 2027. Accepted, to appear.

  2. A Deductive Refinement Calculus for Differential-Algebraic Programs

    Jonathan Hellwig, Long Qian and André Platzer.

    International Joint Conference on Automated Reasoning (IJCAR), 2026.

  3. Differential Equation Inductive Robustness Axiomatization

    André Platzer and Long Qianα.

    arXiv, 2026. Preprint.

  4. The Geometry of Computable Banach Spaces

    Rod Downey, Noam Greenberg, Long Qian and Ruofei Xieα.

    Information and Computation, 2026.

  5. From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes

    Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer and Matthias Althoff.

    International Conference on Integrated Formal Methods (iFM), 2025.

  6. Axiomatization of Compact Initial Value Problems: Open Properties

    André Platzer and Long Qianα.

    Journal of the ACM, 2025.

  7. Automated Symmetric Constructions in Discrete Geometry

    Bernardo Subercaseaux, Ethan Mackey, Long Qian and Marijn Heule.

    International Conference on Intelligent Computer Mathematics (CICM), 2025. Best Paper Award.

  8. Unfolding Boxes with Local Constraints

    Long Qian, Eric Wang, Bernardo Subercaseaux and Marijn J. H. Heule.

    International Conference on Automated Deduction (CADE-30), 2025.

  9. Approximate Axiomatization for Differentially-Defined Functions

    André Platzer and Long Qianα.

    arXiv, 2025. Preprint.

  10. Some Open Questions and Recent Results on Computable Banach Spaces

    Rod Downey, Noam Greenberg and Long Qianα.

    Computability in Europe (CiE), 2024.

  11. Efficient Sink-Reachability Analysis via Graph Reduction

    Jens Dietrich, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin and Bernhard Scholz.

    IEEE Transactions on Knowledge and Data Engineering, 2022.

  12. Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms

    Long Qian and Felix Weilacherα.

    arXiv, 2022. Preprint.