Work
Research
I currently work as an associate researcher at Technical University of Munich (TUM). My research focuses on decentralizing the Internet of Things.
Research Interests
- Embedded Systems
- Decentralized Consensus
- Blockchain
- Light Cryptography
Publications
-
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)
Projects
Ideas come to life

Classless.css
Minimal CSS3 framework with few but great styles for basic HTML tags.

Binary Clock
Display date and time – NERD style.

Tex4TUM
Interactive Knowledge Platform.

High-Altitude Glider
Flight stack written in Ada/SPARK 2014

c2ada
A quick & dirty python script which translates C to Ada code.

Paper Checker
Python script that checks english texts for grammar mistakes.

uniKeyBoard
German XKB keyboard layout with 8 levels for often used unicode characters.

Promptheus
A bash/zsh/fish prompt with the power of a Titan.

LaTeX4EI
Cheat Sheets from Students for Students.

Tesserakt
Simulation of a Four-Dimensional Hypercube
Life
Sports
The art of movement
Parkour and Freerunning
Since 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).
Indoor Training

Trampoline Hall

Outdoor
Other Sports
I also enjoy trying all other sorts of sports.

Skiing

Wind Surfing

Mountain Biking

Slackline

Fencing

Paragliding

Bouldering
