形式化方法，包括自动机理论与模型验证技术

如果你是一名对以下方向感兴趣的高年级本科生，欢迎联系我（包括硕士研究生保送推荐与考试）。
1、计算逻辑（比如时序逻辑、字符串约束等）,

2、形式语言与自动机理论（比如正规表达式、有限自动机、Omega自动机等）

3、基于SAT/SMT的模型验证技术。

更多信息请访问个人主页：https://liyong31.github.io/

081202-计算机软件与理论

模型验证，自动机理论

2013-08--2020-01   中国科学院大学、中国科学院软件研究所   工学博士
2009-09--2013-06   南京邮电大学   工学学士

工学博士（专业：计算机软件与理论）

2022-10~至今,中国科学院软件研究所、计算机科学国家重点实验室, 副研究员

2022-10~2024-10,英国利物浦大学、计算机科学系、Marie Curie Research Fellow

2020-04~2022-10,中科院软件所、计算机科学国家重点实验室、 特别研究助理

与国内外同行有广泛合作。合作包括：
-- 美国：Rice University的Moshe Vardi教授(https://www.cs.rice.edu/~vardi/)

-- 英国：University of Liverpool的Sven Schewe教授(https://intranet.csc.liv.ac.uk/~sven/)

-- 捷克：Brno University of Technology的Ondrej Lengal博士（https://www.fit.vutbr.cz/~lengal/）