Professor | Xiaodong Jia | Asia Growth Partners

Name	Xiaodong Jia
Contact Information	jiaxiaodong@hnu.edu.cn
Language ability	English, Chinese
Province	Hunan

Name

Xiaodong Jia

Contact Information

jiaxiaodong@hnu.edu.cn

Language ability

English, Chinese

Province

Hunan

University/Lab Affiliation and Title	Hunan University
Faculty	Mathematical Sciences
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
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
Awards	First Prize in New Faculty Micro-Lecture Competition at Hunan University, 2021

University/Lab Affiliation and Title

Hunan University

Faculty

Mathematical Sciences

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

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

Awards

First Prize in New Faculty Micro-Lecture Competition at Hunan University, 2021

Areas of Focus	Mathematics: Domain Theory, Non-Hausdorff Topology Theoretical Computer Science: Lambda Calculus, Denotational Semantics
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

Areas of Focus

Mathematics: Domain Theory, Non-Hausdorff Topology
Theoretical Computer Science: Lambda Calculus, Denotational Semantics

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

Topology Order Theory Measure Theory Category Theory Computational Theory Programming Language Design Probability Theory Lambda Calculus Semantics Computer Science

Qingguo Li - Hunan University

View All

Personal Information

Academic Information

Research

Contact us

No account yet?

Personal Information

Academic Information

Research

Contact us