Dana-Roxana Grigoras

Large solution spaces

The synthesis tool will in general allow choosing the design from a large number of feasible constructions in a high dimensional space. The goal is then to find 'the best design'.

Only for 'simple designs' this optimization problem can be expected to be solved exactly in an automatic process. In most practical cases the optimal choice has to be found interactively by 'navigating' in an efficient way through the space of feasible designs.

Supervisor:
Dr. Georg Still (Universiteit Twente).

Survey PhD students