I recently completed modules at the uni which was all about Formal methods. Mainly discrete mathematics and the logic representation. And the time has come to choose my second module. And I'm a bit confused to pick from among the modules.
I could either take a continuation from my previous module which is advance formal methods which goes through modelling system using and proving the logic works etc or I could other stuff like computer science related.
Before I make a decision, I wonder if anywhere here has done or used Formal systems or method in their uni or at work. Is there a use or market for just a abstract topic. I would rather be more interested in continues mathematics than discrete.
But if there is a demand for logic provers then perhaps its might be worth doing it. But I would like to hear from you guys to find out what you think about this topic?