Meet Sarah Winter, our new associate professor at IRIF ! “My goal is to combine traditional synthesis methods with AI methods, to get the best of both worlds.”