Long Qian

Third year PhD student in logic at Carnegie Mellon University