Name:Xiaokang Qiu

Bio:

I am a postdoctoral associate in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.

Affiliation:MIT

Research interests:Programming Languages and Software Engineering, specifically, program verification, program synthesis, and automated deduction.