林春晓

于2008年7月在中国科学技术大学计算机科学技术系获得工学博士学位。此前，在陈意云教授指导下从事计算机软件与理论方面的研究，并有幸能成为位于科大苏州研究院的软件安全实验室的一员。

基于程序设计语言的软件安全研究，特别是汇编语言层次上的Hoare风格程序验证框架（携带证明的代码）。分析和验证现代垃圾收集器以及它们和各种用户程序之间复杂的交互过程。

程序设计语言的理论与实践，包括类型系统的设计与性质分析，程序分析理论等。数理逻辑在计算机科学中的应用，例如描述动态存储资源的分离逻辑等。

由此了解相关工作。

简历：PDF格式
其他：国际米兰 - douban - DramaWiki - LtU - 北京天气
相册：残奥会 - 中国记忆 - 长江 - 拙政园 - 更多
电邮：cxlin3 at mail dot ustc dot edu dot cn