教育背景 Ph.D. Pure Mathematics, University of Cambridge, UK (2013) B.Sc.(Hons) Mathematics, University of Queensland, Australia (2007) B.A. Mathematics and Philosophy, University of Queensland, Australia (2006) 工作经历 2017 – pres. Lecturer in Mathematics, UM-SJTU Joint Institute, Shanghai Jiao Tong Univ. 2014 – 2016 Postdoctoral researcher in logic, University of Gothenburg 2013 – 2014 Research associate, Computer Laboratory, University of Cambridge