Informatik-Kolloquien
354. Informatik-Kolloquium
Vorträge im Rahmen des Berufungsverfahrens Programmiersprachen und -techniken
Dienstag, 15.04.2025, 12:00 Uhr, Straße der Nationen 62, Böttcher-Bau, A12.336 (alt: 1/336)
Herr Dr. Peter Lammich
Lehrvortrag: Softwareentwicklung im Zeitalter von KI
Ziel dieser Vorlesung ist es, einen Überblick über KI-Werkzeuge zur Programmierung (hauptsächlich solche die auf LLMs basieren) zu geben. Die Vorlesung startet mit einem groben Überblick über existierende Werkzeuge, und deren Vor- und Nachteile. Danach werden diese an einem konkreten Beispiel einer Interaktion mit GitHub-Copilot erläutert. Die Vorlesung schließt mit einer Zusammenfassung, und der Aufforderung an die Zuhörer, KI selber auszuprobieren.
Forschungsvortrag: Stepwise Refinement for Provably Correct and Efficient Software
In this talk, we describe the Isabelle Refinement Framework, which supports a stepwise refinement approach to verified and efficient software, based on the Isabelle/HOL interactive theorem prover. We give a short introduction to the challenges when verifying complex and efficient software, and explain how the Isabelle Refinement Framework handles these challenges. We then present its applications to verify algorithms from SAT-solving, Model-Checking, and standard libraries, and conclude with future work and future challenges to be solved.
Alle interessierten Personen sind herzlich eingeladen!
