Jun Yang
Scholar

Jun Yang

Google Scholar ID: tijr1HcAAAAJ
Professor, Electrical and Computer Engineering, University of Pittsburgh
Computer ArchitectureCompiler TechnologyElectronic Design Automation
Google Scholar↗
Citations & Impact
All-time
Citations
9,444
 
H-index
49
 
i10-index
134
 
Publications
20
 
Co-authors
40
list available
Contact
No contact links provided.
Publications
2 items
ExVerus: Verus Proof Repair via Counterexample Reasoning
2026
Cited
0
ToMPC: Task-oriented Model Predictive Control via ADMM for Safe Robotic Manipulation
2026
Cited
0
Resume (English only)
Co-authors
40 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Lei Jiang
Lei Jiang
Indiana University Bloomington
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Rajiv Gupta
Rajiv Gupta
Distinguished Professor & Amrik Singh Poonian Professor, University of California, Riverside
Co-author 7
Co-author 7
Co-author 8
Co-author 8