导师推荐移动版

首页 - 湖南大学

贾晓东

姓名 贾晓东
教师编号 12724
性别
学校 湖南大学
部门
学位
学历
职称
联系方式
邮箱
人气

基本信息 贾晓东博士,副教授,博士生导师,邮箱:jiaxiaodong(at)hnu(dot)edu(dot)cn

教育背景

研究方向 我的研究主要利用数学理论,比如拓扑学、序理论、测度论和范畴论等来理解计算的本质,设计与验证计算机程序语言。目前的研究兴趣在于发展非Hausdorff拓扑学中的概率理论,来解释程序语言设计中的概率相关问题。现主持国家自然科学基金青年基金项目1项与面上项目1项。   数                 学:Domain理论(序理论与拓扑学相结合的一门数学学科)、非Hausdorff拓扑学 理论计算机科学:λ-演算、指称语义学(利用数学理论解释与验证程序语言的学科)

工作履历

学习经历 伯明翰大学(英国)         理论计算机科学                     博士                2018年7月           导师 Achim Jung教授 湖南大学                          数学与应用数学                     学士                2010年6月

研究领域

工作经历 2019-11—至      今          湖南大学 2019-11—2021-06         杜兰大学(美国)                  博士后研究员                 合作导师 Michael Mislove教授 2018-05—2019-04         巴黎萨克雷大学(法国)        博士后研究员                 合作导师 Jean Goubault-Larrecq教授

学术成果

本科生课程 实变函数、概率论与数理统计A

赞助商广告:
贾晓东
赞助商广告:
SCI学术指导