Michael Brady
University of Dublin, Dublin, Ireland
Evolutionary and adaptive synthesis methods
Formal engineering design synthesis