A former Google researcher who founded the Linguee dictionary in 2009 and spun its machine-learning expertise into DeepL Translator in 2017, leading research at the company.