Qinheping Hu
Department of Computer Sciences
University of Wisconsin-Madison
Ph.D. student, advised by Prof.Loris D'Antoni

: qhu28 [at] wisc (dot) edu
: 1210 W Dayton St, Madison, WI 53706, Office 6360

CV | GitHub

My reasearch interests lie in the field of program synthesis and automata theory.


CAV 18
Syntax-Guided Synthesis with Quantitative Syntactic Objectives [ pdf ]
Q. Hu, L. D'Antoni
Automatic Program Inversion using Symbolic Transducers [ pdf ]
Q. Hu, L. D'Antoni
New J. Phys. 17
Units of rotational information [ pdf ]
Y. Ynag, C. Giulio, Q. Hu
I've done research in Boolean formulas and quantum information during my undergrad. Here is a piece of writing about partial SAT problem.