Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Justin Wong

Registered user since Mon 3 Feb 2020

Name: Justin Wong

Bio: I’m a research assistant in the Computer Science department at Columbia University working under Ronghui Gu and Suman Jana. My primary research interests are in the intersection of machine learning and formal verification. Specifically, my focus is in designing machine learning techniques for automating deductive program verification in hopes of scaling the benefits of formal methods to large scale software systems.

Affiliation: Columbia University, USA

Personal website: https://www.cs.columbia.edu/~jw3354

Research interests: Formal Verification, Machine Learning


PLDI 2020Author of Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile