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.

Publications


PLDI 17
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.