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.