Sebastian Schloßer

(TU Kaiserslautern)
hosted by PhD Program in CS @ TU KL

"Interactive Semantics for the Course "Fundamentals of Programming""

( MPI-SWS talk in Kooperation mit dem Fachbereich Informatik)

In the course "Fundamentals of Programming" we teach first year bachelor's students a multi paradigm programming language in a very systematic way: We introduce one language feature after another and for each define its syntax, static semantics (typing), and dynamic semantics (evaluation). The students often have problems understanding or writing down definitions in a very formal way. But this is crucial for many aspects of computer science. As part of my PhD, I develop two different tools assisting teaching. The first one provides an intuitive way to construct proof trees on the computer, such that both students and teachers avoid frustration: the former no longer need to squeeze proof trees on sheets of paper, the latter no longer need to seek the mistakes. The second tool motivates using a formal semantics in practice by automatically inferring parts of the program and guiding the programmer.

Bio:


Time: Monday, 08.11.2021, 16:00
Place: https://uni-kl-de.zoom.us/j/66017596787?pwd=VFYxbTZBL0hmTlJrS2xWV3dCVzdUdz09
Video:

Termin als iCAL Datei downloaden und in den Kalender importieren.