Andrei Voronkov

Andrei Anatolievič Voronkov

May 14, 1959^[2]^[3]

Novosibirsk State University^[1]

45 division titles in CASC since 1999
Herbrand Award (2015)

Formal methods

Realizability and Program Synthesis (1987)