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)