Still remember your CS301: Theory of Computation (Automata stuff), where your lecturer explains to you what the Halting Problem is while you're sleeping and dreaming about dinner :)
At least I do, and it kicks me that Microsoft is applying these mathematical principles to detect infinite loops and free them up and prevent “hangs”.
Alas, the Terminator is coming to your desktop soon..
http://www.internetnews.com/dev-news/article.php/3628146
http://research.microsoft.com/TERMINATOR
This is the kind of stuff that makes me love Microsoft Research... and working my way there :)