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 http://herowanzhu.github.io for more information. If you are interested in working with Dr. Zhu, please contact him directly by sending your CV to (email@example.com).