I currently work as an associate researcher at Technical University of Munich (TUM). My research focuses on decentralizing the Internet of Things.
- Embedded Systems
- Decentralized Consensus
- Light Cryptography
AMSA: Adaptive Merkle Signature Architecture
Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2020)
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management
Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2019)
LeapChain: Efficient Blockchain Verification for Embedded IoT
Proceedings of the 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
SmaCoNat: Smart Contracts in Natural Language
Proceedings of the 2018 Forum on specification and Design Languages (FDL)
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
36th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Smart2: Smart Charging for Smart Phones
IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Ideas come to life
The art of movement
Parkour and FreerunningSince 2008 I work as a coach for Parkour and Freerunning with children and young adults. I try to motivate them for these trend-sports that focus on body control and help to touch physical limits without any competitive spirit. Check out the hompage: [TSV-Herrsching](http://www.tsv-herrsching.de/gymnastik_turnen/?page_id=10).
I also enjoy trying all other sorts of sports.