教师主页移动版

主页 > 湖南省 > 湖南大学

贾晓东

姓名 贾晓东
性别 发明专利4999代写全部资料
学校 湖南大学
部门 数学学院
学位 发明专利包写包过 特惠申请
学历 版权登记666包过 代写全部资料
职称 软件著作权666包写包过
联系方式 实用新型1875包写包过
邮箱 软件测试报告2199包写包过
   
集群智慧云企服 / 知识产权申请大平台
微信客服在线:543646
急速申请 包写包过 办事快、准、稳
软件产品登记测试
软件著作权666元代写全部资料
实用新型专利1875代写全部资料

基本信息 贾晓东博士,副教授,博士生导师,邮箱: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

贾晓东