Fengguo Wei

Fengguo Wei

Senior Software Engineer, Google
Verified email at google.com
Cited by 1533
Cyber Security Programming Analysis Mobile System
Quang-Trung Ta

Quang-Trung Ta

National University of Singapore
Verified email at comp.nus.edu.sg
Cited by 406
Programming Analysis Formal Verification Automated Theorem Proving Smart Contract Verification
Takeo Imai

Takeo Imai

Bonotake / National Institute of Informatics
Verified email at acm.org
Cited by 316
software engineering agile formal methods programming analysis programming languages
Lechen Yu

Lechen Yu

Georgia Institute of Technology
Verified email at gatech.edu
Cited by 27
HPC Programming Analysis Software Engineering