Write a Blog >>
GPCE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Xiaokang Qiu

Registered user since Wed 30 Jul 2014

Name: Xiaokang Qiu

Bio: I am an assistant professor with the School of Electrical and Computer Engineering at Purdue University.

Country: United States

Affiliation: Purdue University

Personal website: https://engineering.purdue.edu/~xqiu/

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

Contributions

SPLASH 2019 Program Synthesis with Algebraic Library Specifications
Program Synthesis with Algebraic Library Specifications
Show activities from other conferences

SPLASH 2019-profile
View general profile