Nanjing, China
http://www.bigoh.net/wiki/index.php/%E7%94%A8%E6%88%B7:Hengfeng-Wei
I am interested in distributed computing and formal methods.