并发程序理论，程序设计语言的语义，程序正确性，模型检测

   

081202-计算机软件与理论

并发系统正确性,程序逻辑

1988-09--1992-06   丹麦Aalborg大学   博士

   

2000-08~现在, 中国科学院软件研究所, 研究员
1994-03~1996-03,英国Warwick大学, 博士后
1992-03~1994-03,英国Sussex大学, 博士后

2019-08-31-2022-08-30,兼职教授, 西南大学计算机与信息科学学院RISE实验室客座教授

数据结构
形式语义学引论

   

（1） Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations, 31st International Conference on Concurrency Theory, 2020, 第 1 作者
（2） Logics for Bisimulation and Divergence, International conference on Foundations of Software Science and Computation Structures, 2018, 第 1 作者
（3） Characterization and verification of stuttering equivalence, Symposium on real-time and hybrid systems, 2018, 第 1 作者
（4） Analyzing Divergence in Bisimulation Semantics, proceedings of the 44th ACM SIGPLAN symposium on Pinciples of Programming Languages, 2017, 第 1 作者
（5） Decomposition of PDL with recursion, International multi-conference of computer science and computer engineering, 2012, 第 1 作者
（6） 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）Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations   柳欣欣，于婷婷   2020-09-01
（2）Analyzing Divergence in Bisimulation Semantics   柳欣欣，于婷婷，张文辉   2017-01-18
（3）Deciding weak bisimilarity of normed context-free processes using tableau   2007-09-26

已指导学生

喻钢  博士研究生  081202-计算机软件与理论  

陈海燕  博士研究生  081202-计算机软件与理论  

徐雨波  博士研究生  081202-计算机软件与理论  

董焕防  硕士研究生  081202-计算机软件与理论  

罗凌云  博士研究生  081202-计算机软件与理论  

吕品  硕士研究生  081202-计算机软件与理论  

屈楠  博士研究生  081202-计算机软件与理论  

李明  硕士研究生  081202-计算机软件与理论  

薛冰天  博士研究生  081202-计算机软件与理论  

梁虹  硕士研究生  081202-计算机软件与理论  

李小燕  硕士研究生  081202-计算机软件与理论  

廖文琪  硕士研究生  081202-计算机软件与理论  

于婷婷  博士研究生  081202-计算机软件与理论