Zheng Guo
Reviewer
Affiliation: University of Michigan Ann Arbor
Country: United States
Domain of Research: Intelligent Systems,Artificial Intelligence,Software Engineering and Quality,Artificial Intelligence,Automated Planning And Scheduling,High Performance Computing,Intelligent Systems,Machine Learning,Software Engineering
Biography
I am a postdoctoral researcher at University of Michigan Ann Arbor. I am interested in research about program synthesis, program optimization, automated reasoning, and compilers.