个人简介

吴志林男研究员硕导中国科学院软件研究所 招生信息 如果你是一名对以下方向感兴趣的高年级本科生，欢迎联系我（包括实习、硕士研究生保送推荐与考试）。 1、程序的自动分析与验证（比如对大数据流处理程序、Android程序、Javascript程序等的分析与验证）， 2、计算逻辑（比如时序逻辑、分离逻辑、字符串约束等）， 3、形式语言与自动机理论（比如正规表达式、有限自动机、下推自动机等）。 更多信息请访问个人主页：http://lcs.ios.ac.cn/~wuzl 招生专业 081202-计算机软件与理论 085211-计算机技术 招生方向 对以下类型程序的自动分析与验证：大数据流处理程序、操作字符串的程序、Android程序、操作操作动态数据结构的程序 教育背景 2002-09--2007-06中国科学院软件研究所计算机科学国家重点实验室硕博连读、博士 1998-09--2002-06中南大学应用数学与软件系本科、学士 学历 学位 工学博士（专业：计算机软件与理论） 工作经历 工作简历 2019-10~现在,中国科学院软件研究所计算机科学国家重点实验室,研究员 2014-06~2015-06,法国巴黎第七大学LIAFA实验室,国家留学基金委公派访问学者 2012-07~2019-09,中国科学院软件研究所计算机科学国家重点实验室,副研究员 2010-08~2012-07,中国科学院软件研究所计算机科学国家重点实验室,助理研究员 2009-09~2010-07,法国波尔多大学LaBRI实验室,博士后 2007-07~2009-07,中科院自动化所中法信息、自动化与应用数学联合实验室,博士后 教授课程 自动机理论及其应用 自动机理论及其应用 这是一门针对中科院软件所博士生的专业基础课程。 课程的目标是对自动机理论作一个相对全面的介绍。同时关注自动机理论在形式验证与数据库理论方面的应用。 如果想了解课程的更多信息，可以访问http://lcs.ios.ac.cn/~wuzl/teaching.html 科研活动 科研项目 （1）无穷字母表上的形式模型：逻辑与自动机,主持,国家级,2012-01--2014-12 （2）符号模型与隐式模型检测技术,参与,国家级,2013-01--2016-12 （3）动态数据结构的形状性质与数据约束：基于分离逻辑的自动分析与验证,主持,国家级,2015-01--2018-12 （4）同步数据流模型优化研究,参与,国家级,2016-01--2019-12 （5）分布式流处理程序的分析与验证,主持,国家级,2019-01--2022-12 参与会议 合作情况 与国内外同行有广泛合作。国外合作包括： --法国：巴黎七大LIAFA实验室的AhmedBouajjani教授(https://www.irif.fr/~abou/)、MihaelaSighireanu博士(https://www.irif.fr/~sighirea/) --英国：Birkbeck,UniversityofLondon的陈韬略博士(http://www.dcs.bbk.ac.uk/~taolue/)，RoyalHolloway,UniversityofLondon的MatthewHague博士（http://www.cs.rhul.ac.uk/home/hague/） --德国：TUKaiserslautern的AnthonyW.Lin博士（https://anthonywlin.github.io/） --瑞典：UppsalaUniversity大学的PhilippRuemmer博士（http://www.philipp.ruemmer.org/） --捷克：BrnoUniversityofTechnology的OndrejLengal博士（https://www.fit.vutbr.cz/~lengal/） --台湾：中央研究院资讯研究所的陈郁方博士（https://www.iis.sinica.edu.tw/pages/yfc/）、NationalTaiwanUniversity的TonyTan博士(https://www.csie.ntu.edu.tw/~tonytan/) 指导学生 已指导学生 古新才硕士研究生081202-计算机软件与理论 陈艳硕士研究生081202-计算机软件与理论 高冲硕士研究生081202-计算机软件与理论 现指导学生 苏婉昀硕士研究生081202-计算机软件与理论