I am a postdoc at MIT, sponsored by ExCAPE and working with Jeff Foster and Armando Solar-Lezama. I used to be a PhD student in computer science at the University of Illinois at Urbana-Champaign, where I was advised by Madhusudan Parthasarathy. I have graduated in the Summer of 2013. Before starting my studies at the University of Illinois I completed my Master studies at Nanjing University, China in the group of Xuandong Li.
My research interests span a range of areas in Programming Languages and Software Engineering, with focus on theories, algorithms and tools of Programming Systems, including program logics, decision procedures, automated deduction, program verification, and program synthesis.
If you need to contact me, the easiest way to do that is by email to "xkqiu" at the domain "csail.mit.edu". You can also visit me at my office:
MIT Computer Science & Artificial Intelligence Lab (CSAIL)
32 Vassar Street
Cambridge, MA 02139
phone: +1 617-253-0945