Added Spring 2014 Courses; Commented out hobbies

Added Formal Methods, Computational Audio and Machine Learning to the
resume;

Commented out hobbies for now;