Dr. Sachenbacher is an Emmy Noether research group leader at the Department of Informatics at Technische Universität München (TUM).

He graduated from TUM with a Diploma in Computer Science in 1996, and worked at Robert Bosch GmbH to develop model-based embedded diagnosis systems for cars. In 2001, he earned his Doctoral degree in Computer Science from TUM.  From 2002-2005, he was a Postdoc of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at Massachusetts Institute of Technology (MIT), USA, in a research project with Toyota Technical Center, Inc. on automatic diagnosis and reconfiguration of hybrid vehicles.

The focus of his research are intelligent technical systems that can self-diagnose, plan and optimize their behaviour based on large-scale probabilistic models and efficient reasoning algorithms. Together with Priv.-Doz. Dr. Martin Leucker, he established the field of Energy Informatics at TUM, which focuses on the application of computer science methods to model and reason about energy aspects of systems, especially electromobility.  He is currently involved in eE-Tour Allgäu, a larger German project to optimize the usage of a heterogenous fleet of electric vehicles in rural areas.

• Modeling of distributed, stochastic and hybrid systems
• Model-based diagnosis and reconfiguration
• Fast combinatorial search algorithms
• Constraint satisfaction/optimization
• Applications in factory automation and electromobility

• Co-Chair, CompSust-12 International Conference on Computational Sustainability, Copenhagen, Denmark, 2012
• Program Committe Member, ICAPS-12 International Conference on Planning and Scheduling, Sao Paulo, Brazil, 2012
• Program Comittee Member, KR-12 International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy, 2012
• Program Committee Member, AAAI-11 Conference on Artificial Intelligence, San Francisco, USA, 2011
• Program Committee Member, TIME-11 Symposium on Temporal Representation and Reasoning, Lübeck, Germany, 2011
• Program Committee Member, INDIN-11 IEEE Conference Special Session on Self-X in Engineering, Lisbon, Portugal, 2011
• Program Committe Member, Workshop Energieinformatik 2011, Karlsruhe, Germany, 2011
• Chair, IJCAI-11 Workshop on Using SAT Techniques in AI Problems, Barcelona, Spain, 2011
• Chair, DX-11 International Workshop on Principles of Diagnosis, Murnau, Germany, 2011
• Organizer, Dagstuhl Seminar 10451, on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, Dagstuhl, Germany, November 7-12, 2010
• Program Committee Member, CompSust-10 International Conference on Computational Sustainability, Boston, USA
• Program Committee Member, AAAI-10 Conference on Artificial Intelligence, Atlanta, USA
• Program Committee Member, ECAI-10 European Conference on Artificial Intelligence, Lisbon, Portugal
• Program Committee Member, DX-2010 International Workshop on Principles of Diagnosis, Portland, USA
• Program Committee Member, Self-X in Engineering Workshop at KI-2010, Karlsruhe, Germany
  
   

• Martin Sachenbacher, Martin Leucker, Andreas Artmeier, and Julian Haselmayr: Efficient Energy-Optimal Routing for Electric Vehicles. AAAI Conference on Artificial Intelligence Special Track on Computational Sustainability, 2011, to appear.
• Anika Schumann, Jinbo Huang, and Martin Sachenbacher: Computing Cost-Optimal Definitely Discriminating Tests. AAAI Conference on Artificial Intelligence, Atlanta, USA, 2010.
• Paul Maier, Dominik Jain, Stefan Waldherr, and Martin Sachenbacher: Plan Assessment for Autonomous Manufacturing as Bayesian Inference, KI German Conference on Artificial Intelligence, Karlsruhe, Germany, 2010.
• Andreas Artmeier, Julian Haselmayr, Martin Leucker, and Martin Sachenbacher: The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles, KI German Conference on Artificial Intelligence, Karlsruhe, Germany, 2010.
• Paul Maier, Martin Sachenbacher, Thomas Rühr, and Lukas Kuhn: Automated Plan Assessment in Cognitive Manufacturing. Advanced Engineering Informatics 24(4):308-319, 2010.
• Anika Schumann, Martin Sachenbacher, and Jinbo Huang: Constraint-Based Optimal Testing Using DNNF Graphs. Proceedings CP Conference on Principles and Practice of Constraint Programming, 2009. 
• Paul Maier, Martin Sachenbacher, Thomas Rühr, and Lukas Kuhn: Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production. Proceedings KI-2009 German Conference on AI, 2009.
• Stefan Heinz and Martin Sachenbacher: Using Model Counting to Find Optimal Distinguishing Tests. Proceedings CPAIOR Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009.
• Martin Sachenbacher and Peter Struss: Task dependent Qualitative Domain Abstraction. Artificial Intelligence 162(1-2):121-143, 2005.
• Tsoline Mikaelian, Brian C. Williams, and Martin Sachenbacher: Model-based Monitoring and Diagnosis of Systems with  Software-Extended Behavior.  Proceedings AAAI Conference on Artificial Intelligence, 2005.
• Martin Sachenbacher and Brian C. Williams: Diagnosis as Semiring-based Constraint Optimization, Proceedings ECAI European Conference on Artificial Intelligence, 2004. (best paper award)