synthesis -- novel applications of formal methods in interesting domains such as