宾州州立大学信息科学与技术学院招收全奖博士生（系统，安全方向）

宾州州立大学信息科学与技术学院宋林海老师课题组招收全奖博士生。宋老师课题组的研究方向包括安全，软件工程，系统，和机器学习。课题组有两个正在进行的项目，一个是利用程序分析的技术提高新的编程语言（Go和Rust）的可靠性，性能，和安全，另一个是利用深度学习解决程序语言和程序分析领域的问题。

宋老师是去年暑假入职宾州州立大学的助理教授。今年组里刚刚有一篇论文发表在了体系结构和系统方向的顶级会议ASPLOS上。宋老师博士毕业于威斯康星大学麦迪逊分校。宋老师之前以第一作者发表的顶级会议论文包括：ICSE2017，MICRO2014，OOPSLA2014，和PLDI2012。关于宋林海老师的更多信息，可以参考他的个人主页：songlh DOT github DOT io/

宾州州立大学的计算机排名全美29，安全方向全美排名第九。宾州州立大学所在地state college是一个大学城，非常安全。宾州州立大学有很多中国老师，学生，生活也很方便。

可以通过以下链接申请宾州州立大学：ist DOT psu DOT edu/application/grad

申请的有关问题也可以给宋老师发邮件：songlh.recruiting@gmail.com


Dr. Linhai Song is seeking ambitious, self-motivated
PhD students to join his group starting Fall 2018.

Research Areas:

- Program analysis. Analyze software behavior in new programming languages,
such as Go, Rust and Scala to  
automatically uncover correctness, performance, and security issues.

- Applied deep learning. Explore how to leverage deep learning
to solve traditional problems in programming languages and program
analysis.

Bio
Dr. Linhai Song is an Assistant Professor of Information Science
and Technology at the Pennsylvania State University. He received
his PhD from University of Wisconsin-Madison.

For more information, please visit the following URLs:
songlh DOT github DOT io/

If you are interested in joining Dr. Song's research group, please
apply to the PSU PhD program:
ist DOT psu DOT edu/application/grad