MELOS GmbH, Augsburg (Gessertshausen), Germany, duelli@melosgmbh.de

Christoph Duelli is head of development and joint member of the management at MELOS GmbH in Gessertshausen, specializing in software for medical and industrial laboratories for over 25 years. He holds a diploma in computer science from the Ulm University and worked with Prof. Reif’s KIV (Karlsruhe Interactive Verifier) team to develop provably correct software at the University of Augsburg. Apart from teaching duties, he published several papers on this topic and contributed to the KIV development.