/bin

Some of the projects I am involved in or was

A²IM

MIPLIB

Mixed integer Programming Library. Data for developing and testing MIP-Solvers.

QOBLIB

Quantum Optimization Benchmarking Library. Fair, comparable, and meaningful benchmarks for quantum optimization methods.

QuBowl

Currently one of the fastest solvers for exact solutions of Quadratic Unconstraint Binary Optimization (QUBO) problems.

CO@Work

Computational Optimization at Work. The best course you can get if you want to learn about real-world Integer Optimization and related topics.

SCIP

Solving Constraint Integer Programs is currently one of the fastest open-source solvers for MILP and MINLP.

SCIP-Jack

Currently the fastest solver for exact solutions of the classic Steiner tree problem in graphs, and 14 related problems.

D²IS²C

FAN

Fully Algorithmic Librarian. AI for supporting research services in academic libraries in Berlin.

DeepGreen

A legally compliant workflow for the Open Access component in the Alliance Licenses for Science.

EWIG

EWIG is a digital long-term archive to ensure the long-term availability of cultural heritage and research data.

FACTS

Fraud Analysis and Counterfeit Testing in Scholarly Publishing.

CLAUDI

FOLIO based cloud-based library management and discovery for Berlin libraries.
Year Project Title / Description Partners / Collaborators Funding / Sponsor
2001 Models and Simulations for Network planning and Control of UMTS KPN Research, atesio GmbH, E-Plus GmbH, IST/UTL Lisbon, Siemens, TU Darmstadt, Vodafone-Telecel Portugal, QQQ Delft, Univ. Bremen EU-IST
2003 Automated validation of System-On-Chip designs Infineon AG BMBF
2006 Counting solutions in circuit verification OneSpin GmbH  
2006 Chip design verification with constraint integer programming Matheon  
2007 Exact integer optimization DFG Priority Program 1307 Algorithm Engineering DFG
2007 Cooperation on developing methods for LP/MIP IBM  
2008 Research-cooperation Network-optimization Open Grid Europe GmbH, U Nürnberg-Erlangen, U Duisburg-Essen, U Hannover, TU Darmstadt, Humboldt U., WIAS OGE
2009 Investigating technical capacity of gas networks   BMWi
2009 Optimization of gas transport Matheon, Humboldt U., WIAS Matheon
2009 Further development of solvers for mixed integer programming problems Siemens Corporate Technology, MODAL SynLab  
2010 Extensions to ZIMPL Procom GmbH  
2010 New technologies to solve SCM-problems SAP, MODAL SynLab  
2010 Distributed branch-and-cut methods to solve up to now intractable optimization instances HLRN  
2012 Research and Competence Center Digitization Berlin   State of Berlin
2013 Research Campus Modal GasLab Open Grid Europe GmbH, MODAL AG BMBF
2013 Research Campus Modal SynLab Siemens, SAP, FICO, Gurobi GmbH, GAMS GmbH BMBF
2014 Construction of joint test-data German National Science Foundation TRR 154 German National Science Foundation (DFG)
2016 Implementation of acceleration strategies from application-oriented mathematics and computer sciences for optimized energy-system models DLR, Jülich Supercomputing Center, Super Computing Center Stuttgart, GAMS GmbH BMWi
2017 Synergistic Approach of Multi-Energy Model a European Optimal Energy System Management EDF, Siemens, Cray Research, Imperial College, ICOOR, RWTH Aachen EU
2017 Deep Green 1 FAU Erlangen, BSB DFG
2018 Deep Green 2 FAU Erlangen, BSB DFG
2018 Sustainable Archiving and Publishing Infrastructures for High-Performance Optimization   German National Science Foundation (DFG)
2019 Advanced algorithms for linear optimizing energy system models using neural networks DLR, Jülich Supercomputing Center, Super Computing Center Stuttgart, GAMS GmbH BMWi
2019 Holistic and multi-criteria optimization for expansion planning for sustainable district heating systems Vattenfall AG, ProCom GmbH BMWi
2020 Research Campus MODAL EnergyLab Open Grid Europe GmbH, i2damo GmbH BMBF
2022 Robustheit und Übertragbarkeit von interkommunalen Energiewendeszenarien im Stadt-Land-Nexus Reiner Lemoine Institut, U Magedeburg, KOWOD Leibzig, PTJ, DStGB BMWE
       
2023 Fully Automatic Librarian Academia Sinica, NUS EU-EFRE
2026 Fraud Analysis and Counterfeit Testing in Scholarly Publishing Academia Sinica, NUS EU-EFRE
2026 Berlin Library Cloud HTW, HWR, Alice Salomon H, BHT, BVB EU-EFRE