https://teezhiyao.com/tags/software-analysis/Recent content in Software-Analysis on Tee Zhi YaoHugo -- gohugo.ioenSat, 02 May 2026 00:00:00 +0000https://teezhiyao.com/posts/omscs-game-ai-and-software-analysis-spring-2026/Sat, 02 May 2026 00:00:00 +0000https://teezhiyao.com/posts/omscs-game-ai-and-software-analysis-spring-2026/<p>Spring 2026 was a two-course semester. Coming into it, I knew it&rsquo;d be a stretch — Game AI on the creative side, Software Analysis on the formal side — but I wanted to see how they&rsquo;d play off each other while balancing a full-time QA role. Turned out they complemented each other better than I expected.</p> <hr> <h2 id="cs7632--game-ai">CS7632 — Game AI</h2> <p>Game AI is fundamentally different from academic AI. You&rsquo;re not trying to prove optimality or solve an intractable problem in the general case — you&rsquo;re making a player have a good time. That means cutting corners, embracing approximations, and yes, cheating when the player won&rsquo;t notice. The entire course is built around this philosophy.</p>