07-06, 17:00–17:45 (Europe/Berlin), Room I
Language: Deutsch
Generative Machine-Learning-Modelle können ja inzwischen Code schreiben, wenn man ihnen sagt, was zu tun ist. Dadurch werden Programmierys nicht überflüssig: Einerseits verlagert sich die menschliche Aufgabe hin zum Prompt Engineering. (Und das ist irgendwie auch eine Form des Programmierens.) Wie aber stellen wir sicher, dass der entstehende Code korrekt ist? Aktuell ist das weitgehend uns Menschen überlassen. Ist das richtig so oder gibt's dafür 'ne App? Gibt es - in Form von Tools für formale Methoden.
Der Vortrag gibt einen Überblick darüber, was es in diesem Bereich gibt und wie das Programmieren damit in Zukunft aussehen könnte.
Dr. Michael Sperber ist Geschäftsführer der Active Group GmbH in Tübingen. Er ist international anerkannter Experte für funktionale Programmierung und hat zahlreiche Fachartikel und Bücher zum Thema verfasst. Michael Sperber ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB.