I started a faculty position at Hanyang University ERICA. My new homepage is here.


I am a Ph.D. candidate in my 5th year at the Department of Computer Science, University of Toronto. I got my B.Sc. and M.Sc. degrees from the same place.

My research interest is in improving security and reliability of concurrent computer systems through consistency verification. Recently, I have been working on exploring consistency issues in the cloud storage systems. Prior to that, I worked on the Unity project to build a secure and durable personal cloud storage system.

I think I am very lucky to be carefully advised by Prof. David Lie. and work with my dear colleagues in the DL group.

Recent News

  • Jun, 2015: Our group got a ACM Computing Survey paper accepted which is about IaaS Cloud Security
  • Mar 18, 2015: We have our conference paper at Oakland 2015 on Caelus, a system veryfing consistency of untrusted cloud storage services with battery-powered devices
  • September 5, 2014: I have passed Qual Exam! My journey can be continued!
  • August 15, 2012: We have our workshop paper at CCSW 2012 on Unity, a secure and durable Personal Cloud Storage
  • Aug 19, 2011: Our work on Two-factor authentication got in CCS 2011.
  • Apr 31, 2011: Finished MSc. Continuing for Ph.D
  • Aug 16, 2010: Confirmed that finished M.Sc. Course work.