42:
903:
863:
842:
993:
241:
419:
1008:
988:
301:
939:
745:
Degtyarev, Anatoli; Voronkov, Andrei (2001). "Equality
Reasoning in Sequent-Based Calculi". In Robinson, John Alan; Voronkov, Andrei (eds.).
1013:
916:
622:
369:
712:
Sekar, R.; Ramakrishnan, I.V.; Voronkov, Andrei (2001). "Term
Indexing". In Robinson, John Alan; Voronkov, Andrei (eds.).
897:
407:
803:
770:
729:
696:
671:
579:
325:
786:
Degtyarev, Anatoli; Voronkov, Andrei (2001). "The
Inverse Method". In Robinson, John Alan; Voronkov, Andrei (eds.).
294:
47:
17:
285:
441:
257:
161:
81:
321:
116:
644:
Kotelnikov, Evgenii; Kovács, Laura; Reger, Giles; Voronkov, Andrei (2016). "The vampire and the FOOL".
276:
951:
273:
245:
156:
94:
41:
554:
998:
874:
550:
506:
924:
1003:
947:
762:
630:
477:"Prof Andrei Voronkov, research profile - personal details (The University of Manchester)"
8:
833:
646:
Proceedings of the 5th ACM SIGPLAN Conference on
Certified Programs and Proofs - CPP 2016
391:
313:
862:
841:
476:
902:
795:
754:
721:
649:
585:
523:
458:
290:
799:
766:
725:
692:
667:
575:
365:
893:
589:
994:
People associated with the
Department of Computer Science, University of Manchester
791:
758:
750:
717:
659:
567:
515:
462:
450:
357:
207:
818:
527:
822:
415:
837:
542:
317:
237:
143:
122:
361:
982:
923:. Swindon: Engineering and Physical Sciences Research Council. Archived from
497:
663:
571:
519:
853:
454:
551:"PDFX: fully-automated PDF-to-XML conversion of scientific literature"
356:. Lecture Notes in Computer Science. Vol. 278. pp. 479–482.
280:
233:
99:
965:
556:
Proceedings of the 2013 ACM symposium on
Document engineering - Doc
654:
387:
504:(2001). "Complexity and expressive power of logic programming".
878:
171:
352:(1987). "Deductive program synthesis and Markov's principle".
643:
857:
495:
540:
302:
Engineering and
Physical Sciences Research Council (EPSRC)
711:
261:
779:
738:
198:
705:
687:
Robinson, John Alan; Voronkov, Andrei, eds. (2001).
383:
381:
940:"UK Government grants awarded to Andrei Voronkov"
785:
744:
980:
917:"Grants awarded to Andrei Voronkov by the EPSRC"
686:
401:
399:
378:
1009:Academic staff of Novosibirsk State University
396:
344:
342:
340:
16:For other people called Andrei Voronkov, see
610:(PhD thesis). Novosibirsk State University.
312:In 2015, his contributions to the field of
300:Voronkov's research has been funded by the
901:
861:
840:
629:. University of Manchester. Archived from
596:
337:
40:
989:Academics of the University of Manchester
653:
431:
429:
827:
620:
602:
435:
408:"Andrei VORONKOV Date of birth May 1959"
348:
320:. He has won 25 division titles in the
981:
868:
426:
812:
307:
937:
914:
847:
637:
405:
283:conference management software, the
177:Realizability and Program Synthesis
1014:Novosibirsk State University alumni
931:
887:
608:Realizability and Program Synthesis
13:
439:(1995). "The anatomy of vampire".
354:Fundamentals of Computation Theory
14:
1025:
326:Conference on Automated Deduction
293:, 2001), and as organiser of the
796:10.1016/B978-044450813-3/50006-0
755:10.1016/B978-044450813-3/50012-6
722:10.1016/B978-044450813-3/50028-X
422:from the original on 2016-08-09.
295:Alan Turing Centenary Conference
48:Alan Turing Centenary Conference
18:Andrei Voronkov (disambiguation)
958:
908:
788:Handbook of Automated Reasoning
747:Handbook of Automated Reasoning
714:Handbook of Automated Reasoning
689:Handbook of Automated Reasoning
680:
286:Handbook of Automated Reasoning
875:Andrei Voronkov's publications
763:11858/00-001M-0000-0014-7A79-8
614:
534:
489:
469:
442:Journal of Automated Reasoning
242:Department of Computer Science
1:
331:
258:Novosibirsk State University
251:
162:Novosibirsk State University
82:Novosibirsk State University
7:
896:author profile page at the
623:"Papers by Andrei Voronkov"
322:CADE ATP System Competition
267:
230:Andrei Anatolievič Voronkov
60:Andrei Anatolievič Voronkov
34:Андрей Анатольевич Воронков
10:
1030:
272:Voronkov is known for the
15:
621:Voronkov, Andrei (2016).
362:10.1007/3-540-18740-5_105
316:were recognized with the
256:Voronkov was educated at
190:
186:
170:
149:
139:
132:
108:
87:
77:
55:
39:
32:
25:
881:bibliographic database.
836:publications indexed by
821:publications indexed by
691:. MIT Press + Elsevier.
496:Dantsin, E.; Eiter, T.;
277:automated theorem prover
246:University of Manchester
157:University of Manchester
33:
883:(subscription required)
664:10.1145/2854065.2854071
572:10.1145/2494266.2494271
46:Andrei Voronkov at the
716:. pp. 1853–1964.
115:45 division titles in
95:Vampire theorem prover
520:10.1145/502807.502810
507:ACM Computing Surveys
412:companieshouse.gov.uk
948:Research Councils UK
860:Bibliography Server
790:. pp. 179–272.
749:. pp. 611–706.
260:, graduating with a
392:Library of Congress
328:(CADE) since 1999.
314:automated reasoning
823:Microsoft Academic
648:. pp. 37–48.
455:10.1007/BF00881918
308:Awards and honours
291:John Alan Robinson
371:978-3-540-18740-0
232:(born 1959) is a
227:
226:
134:Scientific career
50:, June 24th, 2012
1021:
974:
973:
966:"Herbrand Award"
962:
956:
955:
950:. Archived from
935:
929:
928:
912:
906:
905:
900:Digital Library
891:
885:
884:
872:
866:
865:
851:
845:
844:
831:
825:
816:
810:
809:
783:
777:
776:
742:
736:
735:
709:
703:
702:
684:
678:
677:
657:
641:
635:
634:
618:
612:
611:
604:Voronkov, Andrei
600:
594:
593:
565:
541:Constantin, A.;
538:
532:
531:
493:
487:
486:
484:
483:
473:
467:
466:
433:
424:
423:
403:
394:
385:
376:
375:
346:
220:
217:
215:
213:
211:
209:
203:
200:
182:
73:
69:
67:
44:
23:
22:
1029:
1028:
1024:
1023:
1022:
1020:
1019:
1018:
979:
978:
977:
964:
963:
959:
936:
932:
913:
909:
894:Andrei Voronkov
892:
888:
882:
877:indexed by the
873:
869:
854:Andrei Voronkov
852:
848:
834:Andrei Voronkov
832:
828:
819:Andrei Voronkov
817:
813:
806:
784:
780:
773:
743:
739:
732:
710:
706:
699:
685:
681:
674:
642:
638:
619:
615:
601:
597:
582:
566:. p. 177.
563:
539:
535:
494:
490:
481:
479:
475:
474:
470:
434:
427:
416:Companies House
404:
397:
388:Andrei Voronkov
386:
379:
372:
350:Voronkov, A. A.
347:
338:
334:
310:
270:
254:
223:
206:
197:
180:
166:
128:
104:
78:Alma mater
71:
65:
63:
62:
61:
51:
35:
28:
27:Andrei Voronkov
21:
12:
11:
5:
1027:
1017:
1016:
1011:
1006:
1001:
996:
991:
976:
975:
957:
954:on 2016-08-09.
930:
927:on 2015-05-12.
907:
886:
867:
846:
838:Google Scholar
826:
811:
804:
778:
771:
737:
730:
704:
697:
679:
672:
636:
633:on 2016-03-04.
613:
595:
580:
533:
488:
468:
449:(2): 237–265.
425:
395:
377:
370:
335:
333:
330:
324:(CASC) at the
318:Herbrand Award
309:
306:
269:
266:
253:
250:
238:Formal methods
225:
224:
222:
221:
204:
194:
192:
188:
187:
184:
183:
174:
168:
167:
165:
164:
159:
153:
151:
147:
146:
144:Formal methods
141:
137:
136:
130:
129:
127:
126:
123:Herbrand Award
120:
112:
110:
106:
105:
103:
102:
97:
91:
89:
88:Known for
85:
84:
79:
75:
74:
59:
57:
53:
52:
45:
37:
36:
30:
29:
26:
9:
6:
4:
3:
2:
1026:
1015:
1012:
1010:
1007:
1005:
1002:
1000:
999:Living people
997:
995:
992:
990:
987:
986:
984:
971:
967:
961:
953:
949:
945:
941:
938:Anon (2016).
934:
926:
922:
918:
915:Anon (2015).
911:
904:
899:
895:
890:
880:
876:
871:
864:
859:
855:
850:
843:
839:
835:
830:
824:
820:
815:
807:
805:9780444508133
801:
797:
793:
789:
782:
774:
772:9780444508133
768:
764:
760:
756:
752:
748:
741:
733:
731:9780444508133
727:
723:
719:
715:
708:
700:
698:9780444508133
694:
690:
683:
675:
673:9781450341271
669:
665:
661:
656:
651:
647:
640:
632:
628:
624:
617:
609:
605:
599:
591:
587:
583:
581:9781450317894
577:
573:
569:
562:
561:
557:
552:
548:
544:
537:
529:
525:
521:
517:
513:
509:
508:
503:
499:
492:
478:
472:
464:
460:
456:
452:
448:
444:
443:
438:
432:
430:
421:
417:
413:
409:
406:Anon (2016).
402:
400:
393:
389:
384:
382:
373:
367:
363:
359:
355:
351:
345:
343:
341:
336:
329:
327:
323:
319:
315:
305:
303:
298:
296:
292:
288:
287:
282:
278:
275:
265:
263:
259:
249:
247:
243:
239:
235:
231:
219:
205:
202:
196:
195:
193:
189:
185:
178:
175:
173:
169:
163:
160:
158:
155:
154:
152:
148:
145:
142:
138:
135:
131:
124:
121:
118:
114:
113:
111:
107:
101:
98:
96:
93:
92:
90:
86:
83:
80:
76:
72:(age 65)
58:
54:
49:
43:
38:
31:
24:
19:
969:
960:
952:the original
943:
933:
925:the original
920:
910:
889:
870:
849:
829:
814:
787:
781:
746:
740:
713:
707:
688:
682:
645:
639:
631:the original
627:cs.man.ac.uk
626:
616:
607:
603:
598:
559:
555:
547:Voronkov, A.
546:
543:Pettifer, S.
536:
511:
505:
502:Voronkov, A.
501:
491:
480:. Retrieved
471:
446:
440:
437:Voronkov, A.
436:
411:
353:
349:
311:
299:
284:
271:
255:
229:
228:
176:
150:Institutions
133:
70:May 14, 1959
1004:1959 births
972:. CADE inc.
970:cadeinc.org
946:. Swindon:
921:epsrc.ac.uk
498:Gottlob, G.
983:Categories
944:rcuk.ac.uk
655:1510.04821
514:(3): 374.
482:2012-06-08
414:. London:
332:References
208:manchester
119:since 1999
66:1959-05-14
281:EasyChair
264:in 1987.
252:Education
234:Professor
218:.voronkov
214:/research
100:EasyChair
606:(1987).
590:17173414
549:(2013).
420:Archived
268:Research
199:voronkov
463:1541122
274:Vampire
244:at the
240:in the
216:/andrei
191:Website
879:Scopus
802:
769:
728:
695:
670:
588:
578:
528:518049
526:
461:
368:
297:2012.
289:(with
279:, the
181:(1987)
179:
172:Thesis
140:Fields
125:(2015)
109:Awards
650:arXiv
586:S2CID
564:(PDF)
524:S2CID
459:S2CID
858:DBLP
800:ISBN
767:ISBN
726:ISBN
693:ISBN
668:ISBN
576:ISBN
366:ISBN
201:.com
117:CASC
56:Born
898:ACM
856:at
792:doi
759:hdl
751:doi
718:doi
660:doi
568:doi
560:'13
558:Eng
516:doi
451:doi
390:at
358:doi
262:PhD
236:of
212:.uk
210:.ac
985::
968:.
942:.
919:.
798:.
765:.
757:.
724:.
666:.
658:.
625:.
584:.
574:.
553:.
545:;
522:.
512:33
510:.
500:;
457:.
447:15
445:.
428:^
418:.
410:.
398:^
380:^
364:.
339:^
304:.
248:.
68:)
808:.
794::
775:.
761::
753::
734:.
720::
701:.
676:.
662::
652::
592:.
570::
530:.
518::
485:.
465:.
453::
374:.
360::
64:(
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.