Dr. Christoph Zengler
Inhaber, Geschäftsführer, BooleWorks GmbH
München, Deutschland
Werdegang
Berufserfahrung von Christoph Zengler
2 Jahre und 4 Monate, März 2016 - Juni 2018
Partner
esc Solutions GmbH
2 Jahre, März 2014 - Feb. 2016
Projektmanager & Business Analyst
esc Solutions GmbH
IT und Fachberatung, Schwerpunkt Varianten- & Komplexitätsmanagement
2 Jahre und 2 Monate, Jan. 2012 - Feb. 2014
Software Architect & Developer
STZ OIT
Softwareentwickler im Bereich KFZ Konfiguration
6 Jahre und 2 Monate, Jan. 2008 - Feb. 2014
Wissenschaftlicher Mitarbeiter / Doktorand
Universität Tübingen
Forschung im Bereich: - Softwareverifikation - Symbolisches Rechnen - Model Checking - SAT Solving - Computeralgebra - Logik
Ausbildung von Christoph Zengler
2009 - 2014
Informatik
Universität Tübingen
New Formal Methods for Automotive Configuration
2008 - 2009
Informatik
Heriot-Watt University Edinburgh
Forschung im Bereich: - Mathematical Knowledge Management - Theorem Proving - Foundations of Mathematics - Parsing of Natural Languages - Type Theory - Logic
2003 - 2007
Informatik / Mathematik
Universität Passau
Design & Analyse von Algorithmen Computeralgebra SAT Solving
2002 - 2003
Musik- und Theaterwissenschaft
Universität Wien
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Grundlagen