Prof. Zhilin Wu’s Visit from 16 to 18 June, 2021

Zhilin Wu is a professor at the Institute of Software, Chinese Academy of Sciences. Prof. Wu will give a speech on “Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs” on June 17, 2021.