形式化方法、形式验证、机器学习、网络安全

对以下方向感兴趣的高年级本科生，欢迎联系我（包括实习、硕士研究生保送推荐与考试）。
1、程序的形式化分析与验证（例如硬件程序、软件程序、算法的正确性），
2、机器学习与形式化分析的结合（比如关联分析、决策树、深度学习等），
3、网络安全的形式化分析（比如认证协议、匿名协议、第三方认证协议等），
4、定理证明的自动化（如证明的自动生成，归纳证明，归纳不变式的自动构造等）。

(考生需要准备基于数据结构+算法的上机实测）

更多信息请访问个人主页：http://lcs.ios.ac.cn/~lyj238

081202-计算机软件与理论
085211-计算机技术

网络与并发实时系统的设计与分析
带参协议验证
机器学习

1998-03--2001-07   上海交通大学   博士
1995-09--1998-03   上海大学   硕士
1991-09--1995-07   山东大学威海分校   学士

上海交通大学 --20010814 研究生毕业

-- 工学博士学位

已指导学生

于宝新  02  19581  

哈晓琳  02  19261  

曹燊  02  19261  

段凯强  02  19261  

现指导学生

曹嘉伦   02  19261  

曾奶举--（先转博，后去)招商银行总行

于宝新 -- 中国农业银行软件开发部 

哈晓琳--小米公司  

曹燊--小米公司   

段凯强--微软工程院