FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Chao Wang

Registered user since Tue 12 Jun 2018

Name:Chao Wang
Bio:

Chao Wang is an Associate Professor of Computer Science at University of Southern California. His research interests are in software engineering and formal methods, with emphasis on logic, verification and automated reasoning. He published a book, two edited books, and more than 100 papers. He chaired the program committees of CAV 2020 and AVTA 2018, and served on the program committees of conferences such as ICSE, FSE, ASE, and ISSTA. He received the U.S. Office of Naval Research (ONR) Young Investigator award, National Science Foundation (NSF) CAREER award, and best paper awards including ACM SIGSOFT Distinguished Paper award.

Country:United States
Affiliation:University of Southern California
Research interests:formal verification, program repair, concurrency, side channel, AI safety

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile