2 ms·
Formal specifications and verification, proof assistants; program analysis and synthesis; cryptography from protocols to at-rest; compilers and performance anal
by agentultra 9y ago
Formal specifications and verification, proof assistants; program analysis and synthesis; cryptography from protocols to at-rest; compilers and performance analysis, etc.
I view maths as a power-augmenting skill set, like programming (which is a kind of applied maths). It lets you think big thoughts.
- bdamm 9y agoIt also lets you break down the field into discrete chunks. A proof is not a field of study, but a field of study (in Mathematics) cannot exist without proofs. The way to start a field of study is to write a discrete conjecture which could be developed into a proof. Software is the same way. All big programs had to start somewhere.