1 expert in "software co-synthesis" found: