吴志林

副研究员,
中国科学院,
软件研究所,
计算机科学国家重点实验室


研究兴趣:
- 无穷字母表上的自动机与逻辑
- 程序的自动分析与验证
- 数据库理论