Name:Xin Zhang

Bio:

Xin Zhang is a postdoctoral associate at MIT. He is broadly interested in research topics related to programming languages and software engineering, including program analysis, program verification, program synthesis, mobile-cloud computing, and approximate computing.

Country:United States

Affiliation:Massachusetts Institute of Technology

Research interests:Programming Languages, Operating Systems, and Software Engineering