Jia Pan
Scholar

Jia Pan

Google Scholar ID: SAfr8x4AAAAJ
University of Texas at Austin
Distributed SystemFormal VerificationProgram Synthesis
Google Scholar↗
Citations & Impact
All-time
Citations
17
 
H-index
2
 
i10-index
0
 
Publications
3
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
3 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
4 total
Peng Huang
Peng Huang
University of Michigan
Co-author 2
Co-author 2
Suman Nath
Suman Nath
Principal Researcher, Microsoft Research
Tanakorn Leesatapornwongsa
Tanakorn Leesatapornwongsa
University of Chicago