FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Quoc-Sang Phan

Registered user since Sat 17 Dec 2016

Name:Quoc-Sang Phan
Country:United States
Affiliation:Facebook, Inc.
Research interests:Static Analysis, Symbolic Execution, Side-channel Attacks, SAT/SMT, Model Counting

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile