Long Qian

Fifth year PhD student in logic at Carnegie Mellon University