STEOP Informatik und Softwareentwicklung-Wirtschaft

Vorläufig ist keine direkte Unterstützung von STEOP Lehrveranstaltungen dieser Studienrichtungen geplant. Das erste vergebene Projekt dürfte aber von allgemeinem Interesse für diese Studien sein:

Theory of Functional Programming Introduced by Isabelle and ISAC (bakk thesis)
“Functional programing” (FP) is one of the leading paradigms in programming besides “object oriented programming” and “logic (or constraint) programming”. One advantage of FP are general and elegant approaches to the mathematical theory of programming.

Presently FP gains importance in face of the “multi-core crisis”: functional programs are much easier prepared to exploit many cores in parallel than other kinds of programs. In spite of this fact, at Graz University of Technology (TUG) FP has vanished during recent years, and it is of actual importance to include FP again in education.

In order to support such education this thesis will compile an interactive course based on advanced tools developed in the intersection between computer science and mathematics: The computer theorem prover Isabelle, in particular the new function package, and the educational math assistant ISAC.