E-mail: rge [at] cs [dot] ubc [dot] ca
Mail: 201-2366 Main Mall, Vancouver, BC, V6T 1Z4, Canada
Rui Ge is a PhD student in the Department of Computer Science at the University of British Columbia. He studies programming languages and verification under the supervision of Dr. Ronald Garcia and Dr. Alexander J. Summers. He received his BEng from Zhejiang University, BSc from Simon Fraser University, and MSc from the University of British Columbia.