Xiaokang Qiu

Xiaokang Qiu is an Associate Professor at Purdue University's Elmore Family School of Electrical and Computer Engineering. His work bridges theoretical and applied research in programming languages and software engineering.

• Current Role: Associate Professor at Purdue University
• Research Focus: Program verification, synthesis, and automated deduction

Over the past decade, Xiaokang's research has centered on advancing program synthesis techniques. His work appears in leading venues like POPL, PLDI, and SAS, where he explores:

• Syntax-guided synthesis for bit-vector operations
• Concurrent string transformation synthesis
• Library-based synthesis frameworks
• Recursive program verification

He actively contributes to the academic community as a committee member and session chair at conferences including POPL, VMCAI, and SPLASH. His research addresses fundamental challenges in automating code generation while ensuring formal correctness.