李征教授 信息科學(xué)與技術(shù)學(xué)院

男， 1974年出生， 中共黨員， 河北清苑人，

在讀研究生：碩士 2人
電話：010-64454674
電子信箱：lizheng@buct.edu.cn http://cist.buct.edu.cn/zheng

教育經(jīng)歷：
2005.9-2009.5 King's College London 博士
1992.9-1996.7 北京化工大學(xué) 本科

工作經(jīng)歷：
2010.11-至今 北京化工大學(xué)信息科學(xué)與技術(shù)學(xué)院,教授
2010.8-2010.11 英國(guó)大學(xué)學(xué)院（University College London)計(jì)算機(jī)系，副研究員
2005.6-2010.7 英國(guó)倫敦國(guó)王學(xué)院（King's College London）計(jì)算機(jī)系，助理研究員
2004.4-2005.5 英國(guó)布魯奈爾大學(xué)(Brunel University)計(jì)算機(jī)系，訪問(wèn)學(xué)者
1996.8-2004.3 北京化工大學(xué)

學(xué)術(shù)兼職：
STVR和JSS兩期期刊客座編輯
IEEE SCAM2012 大會(huì)程序委員會(huì)主席
IEEE ICST2009 專題研討會(huì)共同執(zhí)行主席
程序委員會(huì)委員：ICSM2011，SCAM2009-2011，IWRT2011

主要研究領(lǐng)域：
基于搜索的軟件工程和軟件測(cè)試
程序依賴性分析及程序切片技術(shù)
基于狀態(tài)模型的依賴性分析和切片技術(shù)

代表性論文：
Kelly Androutsopoulos, Dave Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, and Zheng Li*. Model projection. In The 33rd International Conference on Software Engineering (ICSE2011), Honoulu, Hawaii, USA, May 2011.
Nicolas Gold, Mark Harman, Zheng Li*, and Kiarash Mahdavi. Allowing overlapping boundaries in source code using a search based approach to concept binding. Information and Software Technology, 2011. To appear.
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li* An Alternative Characterization of Weak Order Dependence，Information Processing Letters（IPL），Volume 110, Issue 21, Pages 939-943，2010
Zheng Li* Identifying High-Level Dependence Structures Using Slice-Based Dependence Analysis the 25th IEEE International Conference on Software Maintenance (ICSM2009), pages 457-460, Edmonton, 20-26 September 2009.
Z.Li*, M.Harman and R.Hierons. Search Algorithms for Regression Test Case Prioritization IEEE Transactions on Software Engineering. 33(4): 225-237, 2007.
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li*, Laurence Tratt Control dependence for extended finite state machines Fundamental Approaches to Software Engineering (FASE), March 2009, pages 216-230,York, UK, 22-29 March 2009.
D.Binkley, N.Gold, M.Harman, Z.Li* and K.Mahdavi. An Empirical Study of the Relationship between the Concepts Expressed in Source Code and Dependence Journal of Systems and Software (JSS), 81(12):2287-2298, 2008.
John Clark, Mark Harman, Zheng Li*, Phil McMinn and Jeff Offutt， Special Issue of Journal of Systems and Software devoted to extended papers from TAIC PART 2007 and Mutation 2007
Mark Harman, Zheng Li* and Phil McMinn，Special Issue of Software Testing, Verification and Reliability devoted to extended papers from TAIC PART 2006

獲獎(jiǎng)成果及榮譽(yù)稱號(hào)：
博士論文被ICSM2009國(guó)際會(huì)議接收為優(yōu)秀博士論文
"Control dependence for extended finite state machines" 獲得FASE最佳論文獎(jiǎng)

招生基本要求：
良好的計(jì)算機(jī)編程能力和英語(yǔ)能力

歡迎訪問(wèn)我的英文網(wǎng)頁(yè) http://cist.buct.edu.cn/zheng/