SAT问题是理论计算机科学领域的核心难题，是整个计算机科学的基石。WalkSAT算法作为求解SAT问题的基本方法，已被广泛应用于主流SAT求解器中。然而，关于该算法仍存在若干重要问题尚未解决：在理论层面，其多项式时间收敛的条件尚未得到完整刻画；在应用层面，尽管基于WalkSAT已发展出多种启发式算法，如何进一步提升其性能仍是当前SAT应用研究的热点。何昆副教授获批的项目正是围绕上述两方面展开：一方面致力于从理论上更精确地刻画WalkSAT算法的收敛条件；另一方面，旨在为其设计更高效的启发式策略，从而进一步提升SAT求解器的实际性能。

  何昆，中国人民大学数据工程与知识工程教育部重点实验室副教授，博士毕业于中科院计算所，曾任中科院计算所助理研究员、副研究员，获中科院院长特别奖、CCF优秀博士论文奖、计算所百星等荣誉。主要从事理论计算机领域尤其是概率方法的研究，解决多个由哥德尔奖得主、莱布尼茨奖得主提出的开放问题，在理论计算机顶会STOC、FOCS、SODA上发表论文多篇。

  CCF-华为胡杨林基金是华为面向泛计算领域的综合科研基金，旨在通过搭建产学合作平台，连接产业实践问题与学术科研问题，支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖理论计算机、数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域，累计投入千万级人民币。 

  2022年7月30日，在2022年CCF全国理论计算机科学学术年会（NCTCS2022）期间，CCF-华为胡杨林基金-理论计算机专项基金正式发布。CCF-华为胡杨林基金-理论计算机专项由CCF和华为经过友好协商共同决定设立，致力于支持我国在理论计算机科学领域的发展，推动本领域的学术研究，培养相关方向的青年人才，促进本领域的学术交流。 

  2025年，CCF理论计算机科学专委会携手CCF计算经济学专委会，共同发布CCF-华为胡杨林基金-理论计算机与计算经济学专项基金，本专项基金的成立旨在支持我国理论计算机科学与计算经济学领域的发展，推动领域的学术研究，培养相关方向的青年人才，促进学术交流。