陈明帅 - 浙江大学 计算机科学与技术学院

手机扫码，安全登录

打开微信，扫一扫登录

首页 - 教师详情

姓名：陈明帅

单位：浙江大学

部门：计算机科学与技术学院

状态：未认证

个人简介
陈明帅，研究员、博士生导师，CCF形式化方法专委与理论计算机科学专委委员，国家优秀青年基金（海外）获得者，入选浙江大学“新百人计划”、“启真学者”。2019年于中国科学院软件研究所获计算机软件与理论专业博士学位，同年获中国科学院院长特别奖（中科院软件所自1985年成立以来首获该奖项），此后赴德国RWTH Aachen从事为期3年的博士后研究工作，合作导师为欧洲科学院院士Joost-Pieter Katoen教授。主要研究方向为程序语言、形式验证、数理逻...

微信扫码登录，查看完整内容

老师留言


公司地址：大连市中山区曼哈顿大厦A座2610室  运营中心：大连市沙河口区金盾路127号  研发中心：大连市西岗区大工西岗科创产业园10层 邮政编码：116029
全国客户服务热线：4006-054-001  业务咨询：159-9855-7370 / 173-0411-9111 董经理  售后座机 / 传真：0411-83767788  电子邮件：Djy@Jiqunzhihui.com
本企业已通过ISO9001国际质量管理体系认证、ISO45001职业健康安全管理体系认证、ISO14001环境管理体系认证、企业信用等级AAA级认证，科技型中小企业认证、高新技术企业认证。
本站部分文章来源为用户投稿上传或网络转载，如因工作失误侵害了第三方相关权益，请及时与我们联系，侵权删除信息请发邮件至：2544906@QQ.com
本站部分服务由本平台认可的第三方服务机构提供，如服务的质量有任何问题，请第一时间向我平台反馈，我们将及时为您解决，平台保障用户的全部权益不受任何损害。
版权所有：集群智慧（大连）信息技术有限公司 ICP备案：辽ICP备2022010488号-9 增值电信业务经营(ICP/EDI)许可证：辽B2-20230179