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.
Du möchtest über die betterCode() Rust und weitere unserer betterCode()-Events auf dem Laufenden gehalten werden?