The guy has a PhD in algorithms. He’d he writing proofs, not writing code. The same for programming languages, you’re proving things, like the Pumping Lemma. Co

The guy has a PhD in algorithms. He’d he writing proofs, not writing code. The same for programming languages, you’re proving things, like the Pumping Lemma. Computer Science is not about producing coders for industry. You can learn how to code from a boot camp or Coursera, but it has very little to do with Computer Science.