He Zhu (Preferred)
He Zhu
Assistant Professor, Rutgers University
Joined
May 2021
Names
Emails
****@cs.rutgers.edu (Confirmed)
****@rutgers.edu (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Rutgers University (rutgers.edu)
2019 – Present
Researcher
Galois, Inc. (galois.com)
2016 – 2019
PhD student
Purdue University (purdue.edu)
2010 – 2016
Advisors, Relations & Conflicts
Expertise
Neurosymbolic Programming
2020 – Present
Program Synthesis
2018 – Present
Reinforcement Learning
2018 – Present
Formal Verification
2010 – Present
Publications
Co-Authors
- Aditya V. Nori
- Fabrizio Silvestri
- Fei He
- Gabriele Tolomei
- Guofeng Cui
- Gustavo Petri
- Hanxiong Chen
- Hongshik Ahn
- Jia Wang
- Joe Eappen
- Ming Gu
- Roopsha Samanta
- Shaoyun Shi
- Shicheng Liu
- Shuchang Liu
- Stephen Magill
- Suresh Jagannathan
- Wenjie Qiu
- Wensen Mao
- William N. N. Hung
- Xiaoyu Song
- Xuankang Lin
- Yongfeng Zhang
- Yuanlin Duan
- Yuning Wang