Take Leslie Lamport's TLA+ course. [1] And learn TLA+. The core idea of TLA+ is that any problem, how ever complex can be represented as a state machine i.e a

Take Leslie Lamport's TLA+ course. [1] And learn TLA+. The core idea of TLA+ is that any problem, how ever complex can be represented as a state machine i.e a sequence of variables or states that change over time. It can be used to describe software, hardware and theoretical concepts like consensus algorithms. I suspect one low hanging fruit for TLA+ is to use it for describing physical phenomena gravity, magnetism, boiling etc. This I haven't seen work using it for that yet. [1]: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html