Andrei Voronkov
Andrei Voronkov | |
|---|---|
Андрей Анатольевич Воронков | |
 Андрей Воронков на конференции, посвященной столетию Алана Тьюринга , 24 июня 2012 г. | |
| Рожденный | Андрей Анатольевич Воронков 14 мая 1959 г. [2] [3] |
| Альма-матер | Новосибирский государственный университет [1] |
| Известный | |
| Награды |
|
| Научная карьера | |
| Поля | Формальные методы |
| Учреждения | |
| Диссертация | Реализуемость и синтез программ (1987) |
| Веб-сайт | |
Андрей Анатольевич Воронков (1959 г.р.) [2] [3] — профессор формальных методов на факультете компьютерных наук университета Манчестерского . [5] [6] [7]
Образование
[ редактировать ]Воронков получил образование в Новосибирском государственном университете . [1] в 1987 году получил степень доктора философии . [8] [9]
Исследовать
[ редактировать ]Воронков известен по фильму Вампир [4] [10] автоматизированное средство доказательства теорем , EasyChair программное обеспечение для управления конференциями , Справочник по автоматическому рассуждению (совместно с Джоном Аланом Робинсоном , 2001 г.), [11] [12] [13] [14] и как организатор конференции столетия Алана Тьюринга в 2012 году. [15] [16] [17] [18] [19]
Исследование Воронкова финансировалось Исследовательским советом по инженерным и физическим наукам (EPSRC) . [20] [21]
Награды и почести
[ редактировать ]В 2015 году его вклад в область автоматизированного рассуждения был отмечен премией Эрбрана . [22] С 1999 года он выиграл 25 титулов в дивизионе на соревнованиях по системе CADE ATP (CASC) на Конференции по автоматическим выводам (CADE). [ нужна ссылка ]
Ссылки
[ редактировать ]- ↑ Перейти обратно: Перейти обратно: а б с Воронков А.А. (1987). «Дедуктивный программный синтез и принцип Маркова». Основы теории вычислений . Конспекты лекций по информатике. Том. 278. стр. 479–482. дои : 10.1007/3-540-18740-5_105 . ISBN 978-3-540-18740-0 .
- ↑ Перейти обратно: Перейти обратно: а б Андрей Воронков в Библиотеке Конгресса США
- ↑ Перейти обратно: Перейти обратно: а б Анон (2016). «Андрей ВОРОНКОВ Дата рождения май 1959 года» . www.companyhouse.gov.uk . Лондон: Дом компаний . Архивировано из оригинала 9 августа 2016 г.
- ↑ Перейти обратно: Перейти обратно: а б Воронков, А. (1995). «Анатомия вампира». Журнал автоматизированного рассуждения . 15 (2): 237–265. дои : 10.1007/BF00881918 . S2CID 1541122 .
- ^ «Профессор Андрей Воронков, профиль научной деятельности – личные данные (Манчестерский университет)» . Проверено 8 июня 2012 г.
- ^ Даньцин, Э.; Эйтер, Т.; Готтлоб, Г. ; Воронков, А. (2001). «Сложность и выразительная сила логического программирования». Обзоры вычислительной техники ACM . 33 (3): 374. дои : 10.1145/502807.502810 . S2CID 518049 .
- ^ Константин, А.; Петтифер, С .; Воронков, А. (2013). «PDFX: полностью автоматизированное преобразование научной литературы из PDF в XML» . Материалы симпозиума ACM по документированию 2013 г. - Doc Eng '13 (PDF) . п. 177. дои : 10.1145/2494266.2494271 . ISBN 9781450317894 . S2CID 17173414 .
- ^ Воронков, Андрей (1987). Реализуемость и синтез программ (кандидатская диссертация). Новосибирский государственный университет.
- ^ Воронков, Андрей (2016). «Записки Андрея Воронкова» . cs.man.ac.uk. Университет Манчестера. Архивировано из оригинала 4 марта 2016 г.
- ^ Котельников Евгений; Ковач, Лаура; Регер, Джайлз; Воронков, Андрей (2016). «Вампир и ДУРАК». Материалы 5-й конференции ACM SIGPLAN по сертифицированным программам и доказательствам — CPP 2016 . стр. 37–48. arXiv : 1510.04821 . дои : 10.1145/2854065.2854071 . ISBN 9781450341271 .
- ^ Робинсон, Джон Алан; Воронков, Андрей, ред. (2001). Справочник по автоматизированному рассуждению . MIT Press + Elsevier. ISBN 9780444508133 .
- ^ Секар, Р.; Рамакришнан, IV; Воронков, Андрей (2001). «Срочная индексация». В Робинсоне, Джон Алан; Воронков, Андрей (ред.). Справочник по автоматизированному рассуждению . стр. 1853–1964. дои : 10.1016/B978-044450813-3/50028-X . ISBN 9780444508133 .
- ^ Дегтярев Анатолий; Воронков, Андрей (2001). «Рассуждение о равенстве в секвенциальных исчислениях». В Робинсоне, Джон Алан; Воронков, Андрей (ред.). Справочник по автоматизированному рассуждению . стр. 611–706. дои : 10.1016/B978-044450813-3/50012-6 . hdl : 11858/00-001M-0000-0014-7A79-8 . ISBN 9780444508133 .
- ^ Дегтярев Анатолий; Воронков, Андрей (2001). «Обратный метод». В Робинсоне, Джон Алан; Воронков, Андрей (ред.). Справочник по автоматизированному рассуждению . стр. 179–272. дои : 10.1016/B978-044450813-3/50006-0 . ISBN 9780444508133 .
- ^ Публикации Андрея Воронкова, индексируемые Microsoft Academic.
- ^ Публикации Андрея Воронкова , индексируемые Google Scholar.
- ^ Andrei Voronkov at DBLP Bibliography Server
- ^ Публикации Андрея Воронкова , индексируемые библиографической базой данных Scopus . (требуется подписка)
- ^ Андрея Воронкова Страница профиля автора ACM. в цифровой библиотеке
- ^ Анон (2015). «Гранты, присужденные Андрею Воронкову от EPSRC» . epsrc.ac.uk . Суиндон: Исследовательский совет по инженерным и физическим наукам. Архивировано из оригинала 12 мая 2015 г.
- ^ Анон (2016). «Гранты правительства Великобритании вручены Андрею Воронкову» . rcuk.ac.uk. Суиндон: Исследовательские советы Великобритании . Архивировано из оригинала 9 августа 2016 г.
- ^ «Премия Эрбрана» . cadeinc.org . Компания CADE Inc.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |