中国科学院软件研究所计算机科学重点实验室 被引频次 14 成果数 7 H指数 2 G指数 3领域: 计算机科学与技术 2007年成果数2 2009年被引量7 全部年份 全部类型 全部作者 按时间降序 AKC攻击研究:攻击方式、转换算法和实例分析 2016 - 麻婧,张文辉 - 《计算机系统应用》 - 被引量: 0 收藏相...
招生专业081202-计算机软件与理论招生方向 并发系统分析与验证 教育背景 学历1978:北京大学数学系1979:挪威奥斯陆大学语言培训班1980-1988:挪威奥斯陆大学计算机系学位1988:博士学位出国学习工作 工作经历2001年中国科学院软件研究所研究员。主要从事逻辑方法与程序正确性方法研究。工作简历 社会兼职 教授课程 专利与奖励获...
张文辉，一位在中国科技领域具有重要影响的人物，他的生平始于1963年6月，地点在福建省福安。他的学术之旅始于1988年，这一年，他在挪威奥斯陆大学数学自然科学学院完成了他的博士学位征程，彰显了他对学术的执着追求和卓越才能。在取得博士学位后，张文辉回国，投身于科研工作，现任中国科学院软件研究所计算机...
赞 分享 科研之友 微信 新浪微博 Facebook 分享链接 张文辉 中国科学院软件研究所, 研究员 / 科研之友号:79387172 科研之友人员唯一编号 3 项目 57 成果 587 阅读 0 下载 23 被引 3 H-指数 主页 成果产品服务 科研之友 科研之友机构版 科创云 站内浏览 科研成果 科研人员 科研机构...
张文辉的职业生涯始于1986年，他在挪威INENCO公司开始了他的工作。接着，他在同年去了挪威奥斯陆大学，进一步深造。1988年至1989年，他在中国科学院软件研究所积累了宝贵的经验。短暂地离开学术界，他于1989年转战香港Citibank公司，拓展了他的金融知识。1989年之后，他又回到了挪威奥斯陆大学，继续他的学术...
基丰软件 基丰软件技术(上海)有限公司 100% 张文辉 10万(元) 2016-01-08 上海市崇明区 注销 担任高管 1 序号 企业名称 职务 法定代表人 注册资本 成立时间 地区 状态 1 基丰软件 基丰软件技术(上海)有限公司 法定代表人 股东 执行董事 张文辉 10万(元) 2016-01-08 上海市崇明区 注销 所有任职...
一、张文辉担任职务:张文辉目前担任成都辉贤峰源软件开发工作室法定代表人;二、张文辉投资情况:张文辉目前是成都辉贤峰源软件开发工作室直接控股股东,持股比例为100%;目前张文辉投资成都辉贤峰源软件开发工作室最终收益股份为100%;老板履历 图文概览商业履历 任职全景图 投资、任职的关联公司 股权穿透图 挖掘深层股权结构...
西安迈实软件技术有限公司 500万(元) 2016-03-25 陕西省西安市雁塔区 注销 担任高管 1 序号 企业名称 职务 法定代表人 注册资本 成立时间 地区 状态 1 迈实软件 西安迈实软件技术有限公司 法定代表人 执行董事兼总经理 张文辉 500万(元) 2016-03-25 陕西省西安市雁塔区 注销 所有任职企业 1 序号 ...
张文辉，男，1963年6月出生于福建福安，1988年在挪威奥斯陆大学数学自然科学学院获博士学位，现任中国科学院软件研究所计算机科学国家重点实验室研究员，研究兴趣包括：程序正确性、模型检测、逻辑推理、形式化方法。学习经历 1976-1978福建宁德地区民族中学 1978-1979北京大学 1979-1988挪威奥斯陆大学 工作经历 1986-1986...