Three pillars of computer science: formalizing an algorithm; assessing complexity; running a program;