Areas of Focus
- Mathematics: Domain Theory, Non-Hausdorff Topology
- Theoretical Computer Science: Lambda Calculus, Denotational Semantics
Work Experience
- 2019-11 to present - Hunan University
- 2019-11 to 2021-06 - Tulane University, USA, Postdoctoral Researcher
- 2018-05 to 2019-04 - Paris-Saclay University, France, Postdoctoral Researcher
Academic Background & Achievements
- PhD in Theoretical Computer Science from University of Birmingham, UK, July 2018
- Bachelor in Mathematics and Applied Mathematics from Hunan University, June 2010
Publications
- A cone-theoretic barycenter existence theorem, Jean Goubault-Larrecq and Xiaodong Jia, 2023
- A domain-theoretic approach to statistical programming languages, Jean Goubault-Larrecq, Xiaodong Jia, and Clément Théron, 2023
- Continuous R-valuations, Jean Goubault-Larrecq and Xiaodong Jia, 2022
- Semantics for variational quantum programming, Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael Mislove, and Vladimir Zamdzhiev, 2022
- Completing simple valuations in K-categories, Xiaodong Jia and Michael Mislove, 2022
- Core-compactness, consonance and the Smyth powerspaces, Zhenchao Lyu, Yu Chen, and Xiaodong Jia, 2022
- On the equivalence of Rudin’s Lemma and the Boolean Prime Ideal Theorem, Mengqiao Huang, Xiaodong Jia, and Qingguo Li, 2022
- Commutative monads for probabilistic programming languages, Xiaodong Jia, Bert Lindenhovius, Michael Mislove, and Vladimir Zamdzhiev, 2021
- Separating minimal valuations, point-continous valuations, and continuous valuations, Jean Goubault-Larrecq and Xiaodong Jia, 2021
- The central valuations monad, Xiaodong Jia, Michael Mislove, and Vladimir Zamdzhiev, 2021
- The order-sobrification monad, Xiaodong Jia, 2020
- A dichotomy result for locally compact sober dcpos, Xiaodong Jia, Achim Jung, and Qingguo Li, 2019
- Algebras of the extended probabilistic powerdomain monad, Jean Goubault-Larrecq and Xiaodong Jia, 2019
- Domain-complete and LCS-complete spaces, Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, and Zhenchao Lyu, 2019
- θ-continuity and Dθ-completion of posets, Zhongxi Zhang, Qingguo Li, and Xiaodong Jia, 2018
- Cartesian closed extensions of subcategories of CONT, Zhongxi Zhang, Qingguo Li, and Xiaodong Jia, 2017
- A note on coherence of dcpos, Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, and Haoran Zhao, 2016
- All cartesian closed categories of quasicontinuous domains consist of domains, Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, and Haoran Zhao, 2015
- On the order-theoretic properties of lower concept formula systems, Lankun Guo, Qingguo Li, and Xiaodong Jia, 2014
Awards
- First Prize in New Faculty Micro-Lecture Competition at Hunan University, 2021
