OMSCS: Game AI and Software Analysis (Spring 2026)

Spring 2026 was a two-course semester. Coming into it, I knew it’d be a stretch — Game AI on the creative side, Software Analysis on the formal side — but I wanted to see how they’d play off each other while balancing a full-time QA role. Turned out they complemented each other better than I expected. CS7632 — Game AI Game AI is fundamentally different from academic AI. You’re not trying to prove optimality or solve an intractable problem in the general case — you’re making a player have a good time. That means cutting corners, embracing approximations, and yes, cheating when the player won’t notice. The entire course is built around this philosophy.