Teaching

Lectures

  • Software Development 2017/2018

Student Theses

I am offering some open theses on various topics related to my research. If you are interested, then please feel free to contact me.

Open Bachelor Theses

  • Reversible Wavelet Tranformations on Arduino Devices (with Robert Glück, Michael Kirkedal Thomsen)
  • Translating reversible programs to general-purpose languages (C for Arduino) (with Robert Glück, Michael Kirkedal Thomsen)

Open Master Theses

  • Parallelization of sequential reversible programs (with Robert Glück, Michael Kirkedal Thomsen)
  • Synthesis of Smart Contracts using Semantic Specifications (Ethereum, Blockchain)
  • Verified Compilation of Smart Contracts for Ethereum (with Omri Ross)