北京邮电大学，副教授，计算机学院，网络与交换技术国家重点实验室。中国计算机学会会员，计算机学会容错计算专业委员会委员，主要从事软件静态分析及测试的相关理论研究工作。在国内外知名期刊及会议上发表SCI及EI论文60余篇，获国家技术发明专利二十余项、软件著作权十余项，出版软件测试相关著作2本。负责研发的软件缺陷检测系统——DTS在全国有500多用户，应用于航天、航空、武器、金融、交通等高可信领域，在嫦娥、天宫和探月工程中得到应用，并取得了较好的经济效益和社会效益。

邮编 : 8543245952179c1dda5666b9ca3ff5897b7050753c4aa2392ed0ffb74ddf49fe22908a516b367a5c9e2af1740e336edfd335f81e459d9921ad5c8db201d6dc55c887f3009eb1fe793a9cdb14d60cc1c80af7b55bbab41a8da1967761db74150ee2579958de6414c94fc9e9798bbfa01ff20d02e7cd2bc5c37fb6c370a8b769ba

通讯/办公地址 : 5682161b0f3bbe94bdd5d28eea16aa4d4249e3eb9f3baa4ec57d9e61e58e6d809e13e9e2ae4a69f10465a58e7c8f2259d33a5c0e5faf10c3e181a1c079c247abdddd8fc24bb28e99f961ea1a646685abf6b5f1a9c4ce90e17e41de682d5b0ed58875218af4b4a17649bdeec2721a2f83ec3f9879122de8f5a601ca290826ed98

办公室电话 : 70157ae0dfd65caab8519a37050b09772a519471b52d4b159331d1228718562f3486fb908a997b14a968469698dd0a4100ef8af7c1efa82f06c7c93fac8be0602194fcc371855e80eea1a5043f669d7ab83852b04c7edfdea9df6bc053086522dabffe4b4e18274c6e4c58623feda6f121320687f051b9c7ad0d51cbe481fcae

移动电话 : bca0e5814ebef1a52acf3cdc7688ad48fdccc9e1d45d38374287404afd18fd70ae946fff474b3e3068c0f8e3e778531222e2bbada99644a60fe7b6630e1758a92134184576affced4b8bdafe5b82174a6d9d1a9ee63bd00c22d4b8fb61c01b471625f280003b9ac9c7fb2bb3c60b0949e7d1c4d3437427c0feb1bc16b3f70cee

邮箱 : 97431813c9223aa69f028cdbb467d5a43b7c5df3040ffc05474499ea0166d9f56545f56973aae5faffe8e9e845bfb3fb7ce732972e5c2d2fe6fffcb36ca5d9ccde05450a34caf4ee5bd236d80bcb74ea47f5ea086133f33724796b590c71d46a9af9263d173c4a109d63724cdb1a2d0cc41352d0aa65aaecaadd28b6011987d5

[1] 2010.12 -- 至今
北京邮电大学

[1] 2013.11 -- 至今
中国计算机学会容错计算专业委员会委员

[2] 2010.11 -- 至今
中国计算机学会会员