Zheng Guo

Country: United States

Education: PhD or Doctorate

Affiliation: University of Michigan Ann Arbor

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.