基本信息
柳欣欣男博导中国科学院软件研究所
电子邮件： xinxin@ios.ac.cn
通信地址： 北京8718信箱,计算机科学实验室
邮政编码： 100190
研究领域
招生信息
招生专业081202-计算机软件与理论
招生方向并发系统正确性,程序逻辑
教育背景1988-09--1992-06丹麦Aalborg大学博士
学历
学位
工作经历
工作简历2000-08~现在,中国科学院软件研究所,研究员1994-03~1996-03,英国Warwick大学,博士后1992-03~1994-03,英国Sussex大学,博士后1988-09~1992-06,丹麦Aalborg大学,博士~现在,
社会兼职
教授课程数据结构形式语义学引论
专利与奖励
奖励信息
专利成果
出版信息
发表论文（1）Logics for Bisimulation and Divergence,International conference on Foundations of Software Science and Computation Structures,2018,第1作者（2）Characterization and verification of stuttering equivalence,Symposium on real-time and hybrid systems,2018,第1作者（3）Analyzing Divergence in Bisimulation Semantics,proceedings of the 44th ACM SIGPLAN symposium on Pinciples of Programming Languages,2017,第1作者（4）Decomposition of PDL with recursion,International multi-conference of computer science and computer engineering,2012,第1作者（5）Specification in PDL with recursion,NASA formal methods symposium,2012,第1作者
发表著作
科研活动
科研项目（ 1 ） 基于逻辑的新型计算模型, 参与,国家级,2012-01--2016-12（ 2 ） Verification, Interaction, and Proofs (VIP), 参与,部委级,2017-11--2020-10
参与会议（1）Analyzing Divergence in Bisimulation Semantics2017-01-18（2）Deciding weak bisimilarity of normed context-free processes using tableau2007-09-26
合作情况
项目协作单位
指导学生
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
中国科学院大学研究生导师教师师资介绍简介-柳欣欣
本站小编 Free考研考试/2020-04-27
相关话题/中国科学院大学 师资
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19中国科学院大学研究生导师教师师资介绍简介-柳振峰
基本信息柳振峰男博导生物物理研究所电子邮件：liuzf@sun5.ibp.ac.cn通信地址：北京市朝阳区大屯路15号中科院生物物理所电话：邮政编码：100101主要研究领域膜蛋白结构生物学招生信息招生专业071011-生物物理学071010-生物化学与分子生物学招生方向膜蛋白结构生物学；细胞能量储存和代谢；新型离子通道结构与功能膜蛋白生物化学；教育背景1998-09--2004-07中国科学院生 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-龙锋利
基本信息龙锋利女博导中国科学院高能物理研究所电子邮件：fllong@ihep.ac.cn通信地址：北京市918信箱9分箱邮政编码：100049研究领域招生信息招生专业082703-核技术及应用招生方向电力电子及工业自动化教育背景2001-09--2007-01中国科学院高能物理研究所博士研究生学历学位工作经历工作简历2001-09~2007-01,中国科学院高能物理研究所,博士研究生1999-07 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-龙爱民
基本信息龙爱民男博导中国科学院南海海洋研究所电子邮件：longam@scsio.ac.cn通信地址：广州市新港西路164号邮政编码：510301研究领域招生信息招生专业070702-海洋化学083001-环境科学招生方向海洋化学环境生物地球化学教育背景1998-09--2001-06北京大学博士1992-09--1995-06东北师范大学硕士1988-09--1992-06湖南师范大学学士学历学位 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-龙勉
基本信息龙勉男博导中国科学院力学研究所电子邮件：mlong@imech.ac.cn通信地址：北京市北四环西路15号中国科学院力学研究所邮政编码：100190研究领域生物力学生物医学工程招生信息招生专业080101-一般力学与力学基础招生方向生物力学生物医学工程教育背景1989-03--1990-03日本群马大学中日联合培养博士1984-09--1990-07重庆大学博士1980-09--1984- ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-龙花楼
基本信息龙花楼男博导中国科学院地理科学与资源研究所电子邮件：longhl@igsnrr.ac.cn通信地址：北京市朝阳区大屯路甲11号邮政编码：100101部门/实验室：农业地理与乡村发展研究室研究领域主要从事城乡发展与土地利用转型研究，包括：乡村转型发展与乡村重构振兴土地利用变化与土地利用转型统筹城乡发展与农村土地整治招生信息招生专业：人文地理学招生方向：城乡发展与土地利用教育背景和工作经历19 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-娄继忠
基本信息娄继忠男博导中国科学院生物物理研究所电子邮件：jlou@ibp.ac.cn通信地址：北京市朝阳区大屯路15号中国科学院生物物理研究所邮政编码：100101研究领域招生信息招生专业071011-生物物理学071023-计算生物学083100-生物医学工程招生方向生物大分子间相互作用的分子机制和动力学性质跨细胞膜信号传导；生物大分子相互作用动力学单分子免疫教育背景1997-09--2000-0 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-龙文
基本信息龙文女硕导经济与管理学院电子邮件：longwen@ucas.ac.cn通信地址：北京市海淀区中关村东路80号6号楼211邮政编码：100190部门/实验室：经济与管理学院研究领域金融市场，金融大数据，行为金融，经济管理中的复杂数据分析招生信息招生专业020204-金融学020209-数量经济学120100-管理科学与工程招生方向金融市场，行为金融金融大数据，复杂数据分析金融创新，金融管理教 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-卢涛
基本信息卢涛男经济与管理学院电子邮件：通信地址：邮政编码：研究领域技术创新管理、信息资源管理招生信息招生专业招生方向教育背景学历--研究生学位--博士出国学习工作工作经历工作简历社会兼职教授课程专利与奖励奖励信息专利成果出版信息发表论文发表著作科研活动科研项目参与会议合作情况项目协作单位指导学生 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-卢汉清
基本信息卢汉清男汉族博导自动化研究所研究员电子邮件：luhq@nlpr.ia.ac.cn联系电话：通信地址：海淀中关村东路95号邮政编码：100190部门/实验室：模式识别国家重点实验室研究领域专业：模式识别与智能系统研究方向：图像与视频分析、网络多媒体搜索招生信息招生专业081104-模式识别与智能系统081203-计算机应用技术招生方向图像与视频分析教育背景学历1982年7月在哈尔滨工业大学计 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27中国科学院大学研究生导师教师师资介绍简介-娄晓敏
基本信息娄晓敏女硕导中国科学院北京基因组研究所电子邮件：louxm@big.ac.cn通信地址：北京市朝阳区北辰西路一号院，中国科学院奥运科技园1-7邮政编码：100101研究领域招生信息招生专业071010-生物化学与分子生物学招生方向肿瘤标志物的发现及功能研究肿瘤蛋白质组学教育背景2002-09--2007-06中国科学院北京基因组研究所博士学位学历学位工作经历工作简历2009-11~现在,中 ...中国科学院大学师资导师 本站小编 Free考研考试 2020-04-27
