Programmsynthese automatisiert das Programmieren selbst. Die Idee, dass wir einem Computer nur sagen müssen was wir wollen und, dass dieser dann automatisch herausfindet, wie dies zu erreichen ist, hat Wissenschaftler schon lange fasziniert.

In einigen Bereichen ist dies heute schon möglich. Tatsächlich benutzt Microsoft Excel Programmsynthese um viele Aufgaben zu automatisieren. Dieser Vortrag zeigt anhand des konkreten Beispiels der Textverarbeitung wie (eine Art der) Programmsynthese funktioniert und an welchen Herausforderungen die Wissenschaft momentan arbeitet.

Dr. Eva Darulova leitet eine Forschungsgruppe am Max-Planck-Institut für Softwaresysteme der Technischen Universität Kaiserslautern. Ihre Forschung beschäftigt sich mit der Verifikation und Synthese von numerischen Programmen.

SciDay ist eine wissenschaftliche Vortragsreihe für Schüler/-innen ab 14 Jahren, Lehrkräfte und sonstige Interessierte. Im Anschluss besteht die Möglichkeit zum Austausch mit den Dozenten.