Professor | 贾晓东 | 数字化转型顾问

Name	贾晓东
Contact Information	jiaxiaodong@hnu.edu.cn
Language ability	英语, 汉语
Province	湖南

Name

贾晓东

Contact Information

jiaxiaodong@hnu.edu.cn

Language ability

英语, 汉语

Province

湖南

University/Lab Affiliation and Title	湖南大学
Faculty	Mathematical Sciences
Academic Background & Achievements	2018年7月，英国伯明翰大学，理论计算机科学博士 2010年6月，湖南大学，数学与应用数学学士
Work Experience	2019-11 至今 - 湖南大学 2019-11 至 2021-06 - 美国杜兰大学，博士后研究员 2018-05 至 2019-04 - 法国巴黎萨克雷大学，博士后研究员
Awards	2021年湖南大学新入职教师微格演练讲课比赛一等奖

University/Lab Affiliation and Title

湖南大学

Faculty

Mathematical Sciences

Academic Background & Achievements

2018年7月，英国伯明翰大学，理论计算机科学博士
2010年6月，湖南大学，数学与应用数学学士

Work Experience

2019-11 至今 - 湖南大学
2019-11 至 2021-06 - 美国杜兰大学，博士后研究员
2018-05 至 2019-04 - 法国巴黎萨克雷大学，博士后研究员

Awards

2021年湖南大学新入职教师微格演练讲课比赛一等奖

Areas of Focus	数学：Domain理论，非Hausdorff拓扑学理论计算机科学：λ-演算，指称语义学
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

数学：Domain理论，非Hausdorff拓扑学
理论计算机科学：λ-演算，指称语义学

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

拓扑学序理论测度论范畴论计算理论程序语言设计概率论 Λ-演算语义学计算机科学

李庆国 - 湖南大学

View All

Personal Information

Academic Information

Research

联系我们

还未创建账户?

Personal Information

Academic Information

Research

联系我们