He Zhu

Rutgers University

  • Joined May 2021

Names

He Zhu (Preferred)

Emails

****@cs.rutgers.edu (Confirmed)
,
****@rutgers.edu (Confirmed)

Personal Links

Education & Career 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

PhD Advisor
2010 – 2016
 

Expertise

Program Synthesis
2018 – Present
 
Reinforcement Learning
2018 – Present
 
Formal Verification
2010 – Present