罗格斯大学(Rutgers) PhD 程序语言机器学习方向

我们的研究方向是程序语言 (Programming Languages)，形式化验证 (Formal Methods)，和深度学习 (Deep Learning) 的结合。我们研究如何利用Deep Learning自动编程 (automatic programming)，完成复杂程序编写任务 (program synthesis)；我们研究如何利用Deep Learning自动学习，分析，并总结系统软件行为 (program analysis)，完成复杂代码安全性可靠性和可用性的验证任务 (program verification)；我们研究如何利用形式化建模分析方法 (Formal Methods) 验证深度学习模型，以实现trustworhty Deep Learning，我们的目标是开发安全可靠的深度增强学习算法控制robotics。

罗格斯大学靠近纽约，交通便利，美食丰富，相信会是同学们求学的好地方：）

下面是更多的信息包括联系方式：

Dr. He Zhu is an assistant professor in Computer Science at Rutgers University, New Brunswick. His group has positions for (at least) two Ph.D. students (Fall 2020) to conduct research in areas including formal methods and deep learning.  
  
Dr. Zhu's main research theme is improving software safety, correctness and trustworthiness via program analysis, verification, synthesis, and machine learning. Dr. Zhu's current research focus lies at the intersection between deep learning and symbolic reasoning. On the one hand, his group is working on applying deep learning to improve software system safety and correctness. On the other hand, his group is investigating how symbolic reasoning can make deep learning more data-efficient, reliable and trustworthy. Besides deep learning systems, his group also studies applying formal verification and programming language techniques to build trustworthy distributed systems.
  
  
Please visit Dr. Zhu’s webpage at herowanzhu.github.io for more information. If you are interested in working with Dr. Zhu, please contact him directly by sending your CV to (he.zhu.cs@rutgers.edu).   

For joining Rutgers the Fall semester: January 1st is the deadline for all PhD applications!

万万没想到老师自己还注册一个账号发帖，帮顶

这是我最感兴趣的方向，但是老师的推荐信额度用光了，不好意思再加申一所学校，或者再让老师提推荐信。遗憾

看了朱老师的研究方向。感觉我们这些初级码工的饭碗不保... ... 瑟瑟发抖

老师，请问现在还可以申请吗

同Rutgers帮顶一波，老师需要帮忙的话我可以在北邮人论坛上也发一贴~

想问一下如果想跟老师读博的话需要之前有学过编程语言或者相关的研究经历吗？