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
-
CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles
IEEE International Conference on Omni-Layer Intelligent Systems (COINS)
-
Blockchain, what time is it? Trustless Datetime Synchronization for IoT
IEEE International Conference on Omni-layer Intelligent Systems (COINS 2020)
-
COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing
IEEE International Conference on Omni-layer Intelligent Systems (COINS 2020)
-
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
ID2 Identifiers
A universal notation scheme for over 100 identifiers, such as DOI, EAN, or crypto-addresses.
Acamedic
Academic Dictionary for Scientific Writing in American English.
Binary Clock
Display date and time – NERD style.
Classless.css
Minimal CSS3 framework with few but great styles for basic HTML tags.
Tex4TUM
Interactive Knowledge Platform.
Paper Checker
Python script that checks english texts for grammar mistakes.
High-Altitude Glider
Flight stack written in Ada/SPARK 2014
c2ada
A quick & dirty python script which translates C to Ada code.
Promptheus
A bash/zsh/fish prompt with the power of a Titan.
uniKeyBoard
German XKB keyboard layout with 8 levels for often used unicode characters.
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 of TSV-Herrsching.
Other Sports
I also enjoy trying all other sorts of sports.