DIKU Bits: The end of programming?

DIKU Bits Graphic

Speaker

Hans Hüttel, Associate Professor in the PLTC (Programming Languages and Theory of Computation) section.

Title

The end of programming?

Abstract

There have been lots of claims about what chatbots such as ChatGPT that are based on large language models (LLMs) can actually do. Some now claim that most software in the future that is not “simple” will take the form of AI systems, and that any software not of this form will be automatically generated by chatbots. A consequence of this rather sweeping claim is that since there is no need to program, there is no need to study programming or properties of programs. Computer science can finally go away!

In this DIKU Bits talk, I will try to convince you that this is not the case and hopefully convince you to stay in computer science – I would hate to see you leave. My arguments come from theoretical computer science and the study of program synthesis.