Защитил диссертацию в 2016 году, сейчас постдок (postdoc researcher) в Лаборатории сигналов и систем Национального центра научных исследований Франции. Исследовательская работа связана с символьными системами (symbolic systems), языками спецификации допустимого поведения систем и задачами синтеза управлений для них.