|
|
|
|
|
|
by max_
1054 days ago
|
|
|
I think as a mathematician you may enjoy a niche like formal verification. Look up tools like TLA+ [0]. Formal verification is basically about modeling hardware & software systems with a notation similar to mathematics. It seems like a good option for a mathematician. [0]: https://lamport.azurewebsites.net/video/videos.html |
|
|