I am a Ph.D. student in the Department of Computer Science at the University of British Columbia in Vancouver, Canada. I'm affiliated with the Laboratory for Computational Intelligence (LCI) and the Bioinformatics, and Empirical & Theoretical Algorithmics Laboratory (BETA-Lab). My research focuses on temporal reasoning, constraint satisfaction, boolean satisfiability, and traveling salesman. Currently, I am working on empirical hardness models and algorithm portfolios. My primary supervisor is Prof. Kevin Leyton-Brown, and I am co-supervised by Prof. Holger H. Hoos.