tianbo's Home Page

 欢迎光临我的个人主页，现在开始着手找工作了，下面是我的一些摘要信息：

2005.9至2008.7就读于中国科学技术大学（USTC）计算机科学与技术系，主要研究方向是：形式语义、类型论、计算机科学中的各种逻辑、代数规范和范畴等理论应用，程序设计语言的理论与实现技术，软件安全等。期间（2006.12-2007.10)主要参与设计、实现了指针逻辑的出具证明的编译器，可以静态的验证c语言程序中指针的大部分指针错误。编译器最终给出编译后的汇编程序和对应汇编程序的证明。能给出证明的程序即Well-Formed程序一定不会出现指针错误。不能通过的一定有指针的错误使用。即我们的编译器是正确的（Sound）和完备的（Completeness）。

2001.9至2005.7就读于中国科学技术大学软件工程专业，期间获两次奖学金，毕业获得优秀毕业生。