導師信息
姓 名 李初民
性 別 男
專業職稱 教授
工作院校 華中科技大學
工作單位 計算機科學與技術學院
導師代碼 3185
導師類別 兼職博士生導師
兼職導師單位 University of Picardie Jules Verne, France
一級學科碼 0812
一級學科名稱 計算機科學與技術
二級學科碼 081202
二級學科名稱 計算機軟體與理論
個人簡介
教授，博士生導師，1983年於華中理工大學計算機系獲工學學士學位，1985年和1990年於法國貢比涅大學(University of Technology of Compiegne）計算機系分別獲工學碩士和工學博士學位；現任法國儒爾—凡爾納大學(University of Picardie Jules Verne)計算機系教授，法國科技部科研貢獻獎獲得者，兼任華中科技大學特聘教授，華中科技大學計算機科學與技術學院計算機科學理論研究所所長。
研究領域
NP-hard問題的實際求解及其套用，組合最佳化
研究方向
博士研究方向
2012年 08120205 高性能軟體關鍵技術
研究成果
主要採用完備算法和不完備算法研究求解NP-Hard組合最佳化問題。對於第一個被證明為NP完全的問題、同時也是理論計算機與邏輯學界共同關注的重大問題——SAT(可滿足性)問題有深入的研究，在國際上首次提出了能用於現實求解SAT問題的完備算法，並被後續的研究者大量引用；對SAT問題的局部搜尋定義了一個有前途的下降變元的概念，並被SAT競賽中所有獲獎的局部搜尋算法所採納；由於對SAT問題的最佳化形式Max-SAT(最大可滿足性)問題的突出貢獻，被邀請撰寫英文專著《SAT指南》和法文專著《SAT問題的進展與挑戰》中關於Max-SAT的一章。曾擔任AAAI2008、CCIA2008、SAT2002、SAT2004、SAT2005、SAT2007、SAT2008、Soft2006等國際學術會議的程式委員會委員，發起和組織了一年一度的Max-SAT問題求解算法評估賽，並在2005年至2009年的5次國際SAT問題求解算法競賽中獲得金獎1項、銀獎2項和銅獎2項。到目前為止，主持或參與了法國國家科學研究院項目、中法先進研究計畫（PRA）項目、國家重點基礎研究發展計畫（973）項目、法國國家科研署項目等6個項目，指導博士研究生8名。
主要著作
1、著作名稱：Max-SAT, in Problème SAT : progrès et défis (Collection Programmation par contraintes)，出版時間：2008-06-06，出版社名稱：sous la direction de Lakdhar Sais, Hermes science, Lavoisier，本人署名次序：第一名；
2、著作名稱：Combining Adaptive Noise and Look-Ahead in Local Search for SAT，出版時間：2007-06-06，出版社名稱：ISTE，本人署名次序：第一名；
