李初民

李初民，博士生導師，現任法國儒爾—凡爾納大學(University of Picardie Jules Verne)計算機系教授，法國科技部科研貢獻獎獲得者，兼任華中科技大學特聘教授，華中科技大學計算機科學與技術學院計算機科學理論研究所所長。

基本介紹

• 中文名：李初民
• 國籍：中國
• 民族：漢族
• 性別：男

導師信息

專業職稱 教授

工作院校 華中科技大學

工作單位 計算機科學與技術學院

導師代碼 3185

導師類別 兼職博士生導師

兼職導師單位 University of Picardie Jules Verne, France

一級學科碼 0812

一級學科名稱 計算機科學與技術

二級學科碼 081202

二級學科名稱 計算機軟體與理論

個人簡介

教授，博士生導師，1983年於華中理工大學計算機系獲工學學士學位，1985年和1990年於法國貢比涅大學(University of Technology of Compiegne）計算機系分別獲工學碩士和工學博士學位。

研究領域

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，本人署名次序：第一名；