EPSRC logo
Researcher Details
 
Name: Professor A Voronkov
Organisation: University of Manchester, The
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/P03408X/1 QuTie: reasoning with Quantifiers and Theories(P)
EP/K032674/1 REVES: REasoning in VErification and Security(P)
EP/H020780/1 Automated Reasoning with Very Large Theories(P)
EP/C537211/2 REOL: Reasoning for Expressive Ontology Languages(C)
EP/C537211/1 REOL: Reasoning for Expressive Ontology Languages(C)
GR/T08760/01 Integrating domain knowledge into general purpose first-order theorem proving(P)
GR/R90635/01 Development of a next generation theorem prover(P)
GR/N20492/01 EFFICIENT FIRST-ORDER THEOREM PROVING(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator