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

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 2020 NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Show activities from other conferences

ASE 2020-profile
View general profile