CS Events Monthly View
-
Automated Program Verification via Data-Driven Inference
Event Type: Faculty Candidate Talk
Speaker: He ZhuLocation: CoRE A 301
Event Date: 10:30am
Event Type: Faculty Candidate Talk
Speaker: He Zhu
Location: CoRE A 301
Event Date: 10:30am
Department of Computer Science
Rutgers, The State University of New Jersey
110 Frelinghuysen Road
Piscataway, NJ 08854-8019
(848) 445-2001