熊英飞

本文带领读者探索计算机科学的精彩世界，聚焦软件分析与图形学两大领域。通过北京大学”软件分析技术”课程，读者将深入程序分析、约束求解等核心内容，感受理论之美；而UCSB的GAMES系列课程则展现了图形学… 详细