Experience
Education
Bio
主要研究兴趣包括:自动推理、约束求解、程序静态分析与检错、软件测试数据生成。先后获得中国科学院青年科学家奖、中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。
研究兴趣
自动推理和约束求解:如何通过高效率的(回溯)搜索过程来判断给定的约束条件(条件表达式、逻辑公式)是否成立?如何计算(或估算)解空间的大小?
程序分析与软件测试:给定一个软件系统(或其源代码),如何自动地发现其中的错误(比如数组下标越界、内存泄露);如何自动地生成一组测试用例集,以达到某些覆盖标准(比如,百分之百的语句覆盖率)