(This paper is from the First Workshop on Formal Methods in Software Engineering Education and Training in 2015)
From the abstract (yes, I’m abstracting the abstract, because it actually is too long!):
“[Formal Methods] plays just a minor role in both the everyday work of software engineers as well as Computer Science and Software Engineering curricula. To me, one of the main reasons for the status quo is that mathematics education, as it is usually done today, does not enable students to understand and to use Formal Methods.”
As I was reading this, I was nodding in agreement as I believe that had I been given a stronger foundation in the appropriate math (maybe less calc, and more logic/set theory), I’d be more likely to use formal methods. I am sure I’m not the only one.