Long Qian

Fourth year PhD student in logic at Carnegie Mellon University