Andrei Voronkov

Andrei Voronkov
Андрей Анатольевич Воронков
Andrei Voronkov at the Alan Turing Centenary Conference, June 24th, 2012
Born
Andrei Anatolievič Voronkov

(1959-05-14) May 14, 1959
Alma materNovosibirsk State University
Known for
Awards
Scientific career
FieldsFormal methods
Institutions
Thesis Realizability and Program Synthesis  (1987)
Website

Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.