Unconvinced. I believe we'll go the other way, further into the theoretical aspects, in particular program verification.