[cgio]

My first thought was finance but you exclude it. Some ideas could be in the domains of cryptography, data and category theory (e.g. Spivak), simulated data, or testable systems architecture (Lamport, TLA).