图 14 ：Lamport 在论文中对书面协议算法的证明

CCIE#53136 ；2013 年华北五省及港澳台计算机应用大赛（本科组）一等奖；Google 2013 年安卓应用开发中国大学生挑战赛全国三等奖。玩过 Android 、玩过网络，也去过互联网创业公司，曾在国内某过气论坛公司担任运维工作。