Media Name: 016731-simple-red-glossy-icon-animals-animal-dragon5-sc28.jpg

Kontakt

Position
Abteilungsleitung
Room
3305
Phone
+49 30 84185-213
Email

Projects

Projects as Head

Media Name: IBM-quad.png

IBM/ZIB Cooperation

IBM is a company that provides software and services for business planning and operation. In particular, it develops the IBM ILOG CPLEX Optimizer, a mathematical...

IBM/ZIB Cooperation
Media Name: 123many.png

Counting Solutions in the Field of Verification

In the last years the formal verification technique "property checking" was used to prove the correctness of microchip designs. This technique checks all possible input...

Counting Solutions in the Field of Verification
Media Name: Momentum-quad.png

Models and Simulations for Network Planning and Control of UMTS

The deployment of mobile telecommunication networks for the new UMTS standard poses new challenges for radio network planning. In contrast to, for example, GSM, coverage...

Models and Simulations for Network Planning and Control of UMTS
Media Name: scip-website.png

Linear, Integer, and Constraint Programming

Many real world problems can be modeled as mixed integer programs (MIPs) or mixed integer nonlinear programs (MINLPs). This project aims at developing tools for modeling...

Linear, Integer, and Constraint Programming