The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Xiaokang Qiu

Xiaokang Qiu

Title

Associate Professor 

Department

Email

xkqiu@purdue.edu 

URL

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

Education

Ph.D. in Computer Science (2013), University of Illinois at Urbana-Champaign
 

Research Areas

Programming Systems, including program logics, decision procedures, automated deduction, program verification, and program synthesis 

Notable Awards

NSF CAREER Award (2021) 

Publications

https://scholar.google.com/citations?user=xGHVK6sAAAAJ&hl=en