If you find binary reverse engineering fascinating and want to go deeper into the formal aspects checkout http://www.reddit.com/r/ReverseEngineering/comments/smf4u/re... and https://github.com/turnersr/turnersr.github.io/blob/master/t... .
Disclaimer: my company does one of the tools being discussed.