地址:
吴志林,
中国科学院软件研究所,
计算机科学国家重点实验室,
北京市海淀区中关村南四街4号,100190。
办公室:
中国科学院软件园区5号科研楼211房间
邮件:
"wu"+"zl" at ios dot ac dot cn
电话:
010-6266 1648
传真:
010-6266 1648
副研究员,
中国科学院,
软件研究所,
计算机科学国家重点实验室
研究兴趣:
- 无穷字母表上的自动机与逻辑
- 程序的自动分析与验证
- 数据库理论