区块链形式化

❶ 最近北航胡凯教授很火，请问他的研究方向是什么

数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。
分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。
形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。
近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。

❷ 胡凯教授的履历是什么

胡凯，男，博士，教授，博士生导师，北京市计算机学会理事、北京航空航天大学计算机学院教授 [1] 、北航云南创新研究院数字经济研究中心主任、 [2-3] 云南省区块链联盟副理事⻓ [4-5] 。北航计算机学院系统结构学科，分布式系统研究方向。2001年在北航计算机系获博士学位，2001~2003年在新加坡南洋理工大学任研究员（ResearchFellow），参与多国合作的新加坡国家重点项目，合著英文专著《AnatomyofHCTS》（2006年,NUSPublishing）。2004年人才引进回国加入北航计算机学院。2011年受邀在法国雷恩一大和INRIA（雷恩）任短期客座教授，从事实时系统形式化方法的研究，并较早在国内引进了相关技术研究应用。2014年在美国亚利桑那州立大学做访问学者。早期曾任航空部某研究院计算机研究室主任。

❸ 胡凯教授的区块链研究有什么

胡凯教授做的研究主要有：
数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。
分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。
形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。
近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。

❹ 胡凯教授算是国内最早研究区块链的专家么

北航胡凯是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。

❺ 成都链安科技有限公司怎么样

简介：成都链安科技研制出了第一个高度自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。
法定代表人：杨霞
成立时间：2018-03-29
注册资本：116.6352万人民币
企业类型：有限责任公司(自然人投资或控股)
公司地址：成都市成华区二环路东二段508号7层714号房

❻ 胡凯教授主要研究了区块链和数字经济的哪些方面

胡凯教授是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。

❼ 北京将实行京津冀职称评审结果互认，此政策的目的是什么

北京市人力资源和社会保障局发布关于印发《北京市职称评审管理暂行办法》的通知，该办法规定，实行京津冀职称资格互认，津冀两地的职称证书在北京市职称晋升、岗位聘用、人才引进、培养选拔、服务保障等领域与北京市证书具有同等效力。北京出台该项政策的具体目的是什么，下面具体介绍：

这项政策出台就是为了能够让在天津和河北工作的政府官员能够安心工作，使得京津冀协同发展战略能够顺顺利利实行下去。通过这一方面的互相信任，使得这类官员能够在天津和河北大有所为，使得他们在天津和河北的政界也能够让中央看到能够切实的保障这些在天津河北官员的正当权益。同时，在发展过程中，也能够让这些官员能够和北京的官员享受到一样的待遇，同时还能够接受相关的培养和学习。这对于提高整体的官员素质来说，是一个非常好的消息。

三、促进京津冀地区教育工作的发展。有了这项决策，教师不必在根据地域来挑选学校，也能够促进河北和天津等地的教育资源和谐发展，能够使得河北和天津的学校能够吸引到更加有实力的教师来进行工作，这对于河北天津的教育行业也是一个好消息。

❽ 区块链能解决什么问题

区块链技术是以“机器代码、形式化证明、去中心化、分布式、信息系统”的方式提供了一种机器信任，这种机器信任不再需要借助第三方中心化的组织，在机器信任基础之上，彼此之间即便不认识，人们也可以开展合作与交易。GTA 正是依托区块链强大的技术功能，颠覆了基因科技传统的商业模式，利用密码学技术确认个人基因数据主权，保护个人信息隐私。利用通证经济激励机制促使大规模的个人用户、市场推广者、基因测序机构、数据存储机构、数据使用机构积极参与和协作，从而快速聚集起大量的基因数据；继而以基因大数据在生命健康领域的广泛应用实现商业价值。

❾ 胡凯教授在区块链领域有哪些成就

国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。