职位：法国儒尔—凡尔纳大学(University of Picardie Jules Verne)计算机系教授、博士生导师。
简介：李初民教授1983年于华中理工大学计算机系获工学学士学位，1985年和1990年于法国贡比涅大学(University of Technology of Compiegne）计算机系分别获工学硕士和工学博士学位。李教授主要研究领域为采用完备算法和不完备算法研究求解NP-Hard组合优化问题。对于第一个被证明为NP完全的问题、同时也是理论计算机与逻辑学界共同关注的重大问题——SAT(可满足性)问题有深入的研究，在国际上首次提出了能用于现实求解SAT问题的完备算法，并被后续的研究者大量引用；对SAT问题的局部搜索定义了一个有前途的下降变元的概念，并被SAT竞赛中所有获奖的局部搜索算法所采纳；由于对SAT问题的优化形式Max-SAT(最大可满足性)问题的突出贡献，被邀请撰写英文专著《SAT指南》和法文专著《SAT问题的进展与挑战》中关于Max-SAT的一章。