I have supervised many BSc students covering a wide range of topics from more theoretical aspects to very practically oriented ones. Here a list of the most recent/current BSc students:

2020/09/11 Jordy Aaldering

Jordy works on a new semantics for functional array languages that guarantees a certain level of laziness despite building on a strict execution mechanism. Key to this apparent contradiction is a form of offline partial evaluation which is manifested through program re-writes before the actual program evaluation.

2021/03/23 23:53 · sbscholz

This topic does not exist yet

You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on Create this page.

  • bachelor_thesis_students.txt
  • Last modified: 2021/03/23 23:46
  • by sbscholz