([200] ИМЯ ЛИЦА)

Д-р физ.-мат. наук, зав. Лаборатории алгоритмических методов ЛОМИ Стеклова (1992–1998), проф. ун-та Пенсильвании (1998), дир. по научно-исследовательской работе (CNRS) в университете Ренна 1 (2008), дир. по научно-исследовательской работе (CNRS) (лаборатория Поля Пенлеве, университет Лилль 1, Франция). Обл. научных интересов: математическая логика, алгебра и теория чисел..