Андрей Воронков
Андрей Воронков
Андрей Анатольевич Воронков
Андрей Воронков на конференции, посвященной столетию Алана Тьюринга , 24 июня 2012 г.
Рожденный
Андрей Анатольевич Воронков

( 1959-05-14 )14 мая 1959 г. (65 лет) [2] [3]
Альма-матерНовосибирский государственный университет [1]
Известный
Награды
Научная карьера
ПоляФормальные методы
Учреждения
ТезисРеализуемость и синтез программ  (1987)
Веб-сайт
  • voronkov.com
  • manchester.ac.uk/research/andrei.voronkov

Андрей Анатольевич Воронков (родился в 1959 году) [2] [3] — профессор формальных методов на кафедре компьютерных наук Манчестерского университета . [ 5] [6] [7]

Образование

Воронков получил образование в Новосибирском государственном университете , [1] который окончил в 1987 году , получив степень доктора философии . [8] [9]

Исследовать

Воронков известен благодаря автоматизированному доказательству теорем Vampire [4] [10] , программному обеспечению для управления конференциями EasyChair , Handbook of Automated Reasoning (совместно с Джоном Аланом Робинсоном , 2001), [11] [12] [13] [14] и как организатор Конференции, посвященной столетию Алана Тьюринга , 2012. [15] [16] [17] [18] [19]

Исследования Воронкова финансировались Советом по исследованиям в области инженерии и физических наук (EPSRC) . [20] [21]

Награды и почести

В 2015 году его вклад в область автоматизированного мышления был отмечен премией Эрбрана . [22] Он выиграл 25 титулов в дивизионе на конкурсе систем CADE ATP (CASC) на конференции по автоматизированному выводу (CADE) с 1999 года. [ необходима ссылка ]

Ссылки

  1. ^ abc Воронков, А.А. (1987). "Дедуктивный синтез программ и принцип Маркова". Основы теории вычислений . Конспект лекций по информатике. Том 278. С.  479–482 . doi :10.1007/3-540-18740-5_105. ISBN 978-3-540-18740-0.
  2. ^ ab Андрей Воронков в Библиотеке Конгресса
  3. ^ ab Anon (2016). "Андрей ВОРОНКОВ Дата рождения: май 1959". companieshouse.gov.uk . Лондон: Companies House . Архивировано из оригинала 2016-08-09.
  4. ^ ab Воронков, А. (1995). «Анатомия вампира». Журнал автоматизированного рассуждения . 15 (2): 237– 265. doi :10.1007/BF00881918. S2CID  1541122.
  5. ^ "Профессор Андрей Воронков, профиль исследования - личные данные (Манчестерский университет)" . Получено 2012-06-08 .
  6. ^ Данцин, Э.; Эйтер, Т.; Готтлоб, Г .; Воронков, А. (2001). «Сложность и выразительная сила логического программирования». ACM Computing Surveys . 33 (3): 374. doi :10.1145/502807.502810. S2CID  518049.
  7. ^ Constantin, A.; Pettifer, S .; Voronkov, A. (2013). "PDFX: полностью автоматизированное преобразование научной литературы из PDF в XML". Труды симпозиума ACM 2013 года по проектированию документов - Doc Eng '13 (PDF) . стр. 177. doi :10.1145/2494266.2494271. ISBN 9781450317894. S2CID  17173414.
  8. ^ Воронков, Андрей (1987). Реализуемость и синтез программ (кандидатская диссертация). Новосибирский государственный университет.
  9. ^ Воронков, Андрей (2016). "Papers by Andrei Voronkov". cs.man.ac.uk . University of Manchester. Архивировано из оригинала 2016-03-04.
  10. ^ Котельников, Евгений; Ковач, Лаура; Регер, Джайлс; Воронков, Андрей (2016). «Вампир и ДУРАК». Труды 5-й конференции ACM SIGPLAN по сертифицированным программам и доказательствам — CPP 2016. С.  37–48 . arXiv : 1510.04821 . doi : 10.1145/2854065.2854071. ISBN 9781450341271.
  11. ^ Робинсон, Джон Алан; Воронков, Андрей, ред. (2001). Справочник по автоматизированному рассуждению . MIT Press + Elsevier. ISBN 9780444508133.
  12. ^ Секар, Р.; Рамакришнан, IV; Воронков, Андрей (2001). «Срочная индексация». В Робинсоне, Джон Алан; Воронков, Андрей (ред.). Справочник по автоматизированному рассуждению . стр.  1853–1964 . doi : 10.1016/B978-044450813-3/50028-X. ISBN 9780444508133.
  13. ^ Дегтярев, Анатолий; Воронков, Андрей (2001). "Рассуждения о равенстве в исчислениях на основе последовательностей". В Робинсон, Джон Алан; Воронков, Андрей (ред.). Справочник по автоматизированным рассуждениям . стр.  611–706 . doi :10.1016/B978-044450813-3/50012-6. hdl :11858/00-001M-0000-0014-7A79-8. ISBN 9780444508133.
  14. ^ Дегтярев, Анатолий; Воронков, Андрей (2001). «Обратный метод». В Робинсоне, Джон Алан; Воронков, Андрей (ред.). Справочник по автоматизированному рассуждению . стр.  179–272 . doi : 10.1016/B978-044450813-3/50006-0. ISBN 9780444508133.
  15. ^ Публикации Андрея Воронкова, проиндексированные Microsoft Academic
  16. ^ Публикации Андрея Воронкова, проиндексированные Google Scholar
  17. ^ Андрей Воронков на библиографическом сервере DBLP
  18. ^ Публикации Андрея Воронкова, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
  19. ^ Страница профиля автора Андрея Воронкова в ACM Digital Library
  20. ^ Anon (2015). "Гранты, предоставленные Андрею Воронкову EPSRC". epsrc.ac.uk . Суиндон: Совет по исследованиям в области инженерии и физических наук. Архивировано из оригинала 2015-05-12.
  21. ^ Anon (2016). "Гранты правительства Великобритании предоставлены Андрею Воронкову". rcuk.ac.uk . Суиндон: Исследовательские советы Великобритании . Архивировано из оригинала 2016-08-09.
  22. ^ "Премия Эрбранда". cadeinc.org . CADE inc.
Взято с "https://en.wikipedia.org/w/index.php?title=Андрей_Воронков&oldid=1224628734"