Hi, my name is Ralf Gerlich! A graduated computer scientist by trade and a formal methods guy I like to get to the bottom of almost all things technical and mathematical – and sometimes I take my time exploring side-tracks in detail before moving on. My unfocused focus is on embedded systems, electronics and avionics, with sides from physics, control theory and statistics. My interest is in getting a good understanding of things: More than just walking well-trodden paths, but also becoming able to leave the