Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia

Registered user since Sat 22 Jun 2019

Name: Jingbo Wang

Affiliation: University of Southern California

Personal website: http://scf.usc.edu/~jingbow/

Research interests: Formal method, static analysis, program synthesis


ASE 2020Author of NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation within the Research Papers-track
Show activities from other conferences

ASE 2020-profile
View general profile