Post #1546576
2026-04-14 14:32 UTC
@regehr If I may ask, any recommendations on what I should consider when I am interested in applying formal methods for software security in practice?
For example do you think it makes sense to get a math degree? (in addition to IT)
Or just in general, what do you see as viable step(s) towards working on real-world application of formal methods?
Asking because I am not even sure what I should take into account when considering this.
Replies (1)
-
@regehr@mastodon.social 2026-04-14 14:35
@Filip0x0A most modern mathematics is not all that useful, although of course being conversant with proofs is good. the part of math that's most immediately useful is logic -- propositional, predicate, etc. luckily most universities have good courses on that stuff! and then I think the main thing is to just use the formal methods tools, and read cases where they've been used successfully.