Christoph Zengler beschäftigt sich seit über 15 Jahren mit mathematischer Logik und deren Anwendungen. Er ist Gründer und Geschäftsführer der BooleWorks GmbH. Er hat viele wissenschaftliche Arbeiten zum Thema Logik, SAT-Solving und Variantenmanagement veröffentlicht und 2015 die Open-Source-Logik-Bibliothek LogicNG initiiert, die heute von der BooleWorks GmbH weiter entwickelt wird.