[RNeff]

The main problem in CS is "how to develop correct programs". H ow to write programs without bugs. This is a hard problem that everyone just ignores.

[verdverm]

Formal verification is one of the topics / search terms iirc