Static analysis

October 5th, 2012  | 

Matt Might has a nice blog post introducing the neighborhood of computer science in which I spent almost all of graduate school. Static analysis is especially interesting during political campaign seasons, because the fundamental idea behind it is to handle questions that you can’t answer at all by substituting ones that you know how to answer relatively easily.