I am a computer scientist, engineer and programmer interested in cyber-physical systems, formal verification, embedded and declarative programming. I work at Audi in Ingolstadt implementing the factory of the future.