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

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

Xiaokang Qiu

 Xiaokang Qiu

Title

Associate Professor 

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