Skip to main navigation
Skip to search
Skip to main content
New Jersey Research Community Home
Help & FAQ
Home
Profiles
Research units
Core Facilities
Grants/Projects
Research output
Prizes
Search by expertise, name or affiliation
Contact Expert
View Scopus Profile
He Zhu
ASST PROFESSOR ACD YR
,
Rutgers, The State University
,
School of Arts and Sciences, Computer Science
Rutgers, The State University
2009
2024
Research activity per year
Overview
Fingerprint
Network
Grants/Projects
(2)
Research output
(25)
Similar Profiles
(2)
Fingerprint
Dive into the research topics where He Zhu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Reinforcement Learning
100%
Machine Learning
85%
Invariant
70%
Experimental Result
70%
Learning System
65%
Deep Reinforcement Learning
65%
Learning Agent
57%
Data Structure
50%
Annotation
44%
Decision Procedure
41%
Neural Network
37%
Adversarial Machine Learning
33%
Constructors
33%
Data Type
33%
Specification Language
33%
Complex Data Type
33%
Functional Data
33%
Constrained Horn Clause
33%
Type Inference
33%
Learning Framework
31%
Classification Task
30%
Search Space
28%
Functional Program
27%
Gradient Descent
25%
Use Case
22%
Large Data Set
22%
Regression Task
22%
Sequential Decision Making
22%
for Loop
20%
Program Synthesis
18%
Link Prediction
16%
Neural Architecture Search
16%
Data Mining Algorithm
16%
Program Reasoning
16%
Data Mining
16%
Verification System
16%
Program Derivation
16%
Predictive Model
16%
Model Checking
16%
de-noising
16%
Association Rules
16%
Rule Algorithm
16%
Recommended Action
16%
Reasoning Technique
16%
Controller Synthesis
16%
Intelligent Agent
16%
Control Structure
16%
Temporal Logic
16%
Program Verification
16%
And-States
16%
Keyphrases
Reinforcement Learning Agent
66%
First-order
50%
Reinforcement Learning
50%
Deep Reinforcement Learning (deep RL)
47%
Safety Properties
38%
Decision Procedure
37%
Counterfactual Examples
33%
Inductive Data Types
33%
Refinement Types
33%
Constrained Horn Clauses
33%
Type Inference
33%
Constructor
33%
Learning Procedure
33%
Specification Language
33%
Dependent Types
33%
Lightweight Data
33%
Programmer
33%
Automated Method
33%
Potential Shape
33%
Complex Data Types
33%
Functional Data Structures
33%
Data-driven Learning
33%
Abstraction Refinement
33%
Adversarial Attack
33%
Program Architecture
33%
Controller
33%
Program Synthesis
33%
Search Space
26%
Neural Network
25%
Guided Synthesis
20%
Model Explanation
19%
Counterfactual Explanations
19%
Functional Program
19%
Synthesis Methods
19%
Deterministic Programs
16%
Inductive Synthesis
16%
Compositional Abstraction
16%
Assume-guarantee Reasoning
16%
Observation Attack
16%
Linearizability
16%
Synthesis Framework
16%
Verification Method
16%
Neural Network Implementation
16%
Array Type
16%
Formal Verification
16%
Compositional Reasoning
16%
Predictive Models
16%
Collaborative Reasoning
16%
Guided Training
16%
Link Prediction
16%
