贾晓东
姓名 | 贾晓东 |
教师编号 | 12724 |
性别 | 发明专利4999代写全部资料 |
学校 | 湖南大学 |
部门 | 数学学院 |
学位 | 发明专利包写包过 特惠申请 |
学历 | 版权登记666包过 代写全部资料 |
职称 | 软件著作权666包写包过 |
联系方式 | 【发送到邮箱】 |
邮箱 | 【发送到邮箱】 |
人气 | |
软件产品登记测试 软件著作权666元代写全部资料 实用新型专利1875代写全部资料 集群智慧云企服 / 知识产权申请大平台 微信客服在线:543646 急速申请 包写包过 办事快、准、稳 |
基本信息 贾晓东博士,副教授,博士生导师,邮箱: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 |