Quang Trung Ta
Scholar

Quang Trung Ta

Google Scholar ID: 4tQ6zm8AAAAJ
National University of Singapore
Formal VerificationSoftware TestingSmart Contract Security
Google Scholar↗
Citations & Impact
All-time
Citations
610
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
1 items
Type Safety via Hoare Logic with Separation and Pure Types
2026
Cited
0
Resume (English only)
Co-authors
18 total
Wei-Ngan Chin
Wei-Ngan Chin
National University of Singapore
Beng Chin OOI
Beng Chin OOI
Zhejiang University
Dumitrel Loghin
Dumitrel Loghin
OKX
Co-author 4
Co-author 4
Thanh-Toan Nguyen
Thanh-Toan Nguyen
Huawei
Tien Tuan Anh Dinh
Tien Tuan Anh Dinh
Deakin University
Wei Wang
Wei Wang
ByteDance
Qian Lin
Qian Lin
Research Engineer, ByteDance