贾晓东教师主页

基本信息 贾晓东博士，副教授，博士生导师，邮箱：jiaxiaodong(at)hnu(dot)edu(dot)cn 内容来自dedecms

教育背景

研究方向 我的研究主要利用数学理论，比如拓扑学、序理论、测度论和范畴论等来理解计算的本质，设计与验证计算机程序语言。目前的研究兴趣在于发展非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