That's quite sad: Formal methods should be one of the more exciting topics in your CS programme. Hope they didn't scar you too badly.