Assistant Professor of Electrical & Computer Engineering
Dr. Qiu received his BSc in Computer Science (Magna Cum Laude) in 2004 and his MEng in Computer Software and Theory in 2007 from Nanjing University. He received his PhD in Computer Science from the University of Illinois at Urbana-Champaign in 2013. Before joining Purdue in 2016, he was a postdoc at the Massachusetts Institute of Technology.
He is interested in software verification and software synthesis. His research focuses on program logics, decision procedures, automated verification, and syntax-guided synthesis.