Zheng Guo
Postdoctoral Fellow at University of Michigan
Ann Arbor, Michigan, United States
Summary
👤
Senior🎓
Top SchoolZheng Guo is a postdoctoral fellow at the University of Michigan and a Schmidt Research Fellow focused on accelerating computational science discoveries using AI. With a PhD in Computer Science from UC San Diego and a decade of experience spanning research and industry, he blends rigorous academic methods with practical software engineering from internships at Google, MathWorks, and Microsoft. His work sits at the intersection of program transformation, compiler design, and scientific AI—leveraging compiler and HLS experience to speed up simulations and discovery workflows. At Michigan he collaborates with Dr. Xinyu Wang and Dr. Brian Kiedrowski to translate research prototypes into tools that materially shorten scientific compute cycles. Colleagues describe him as someone who pairs deep technical breadth with an eye for pragmatic optimization, often finding simple system-level levers that yield outsized performance gains.
10 years of coding experience
6 years of employment as a software developer
University of California, San DiegoBachelor’s Degree, Computer Software Engineering, Bachelor’s Degree, Computer Software Engineering at Shanghai Jiao Tong University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (24)
component-based10
tla10
refinement10
tlaplus9
synthesis9
typesetting9
jekyll-theme8
jekyll8
responsive7
github-pages6
php3
css3
datalog2
haskell2
cabal2
Programming languages (7)
Github contributions (5)
AcuteYang/blog
May 2017 - Jul 2022
Contributions:8 pushes, 1 branch, 1 comment in 5 years 2 months
jkoppel/ecta
Jul 2021 - Jul 2022
Contributions:174 commits, 4 PRs, 3 branches in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.