Newcastle University Featured PhD Programmes
Aberdeen University Featured PhD Programmes
University of Portsmouth Featured PhD Programmes
Ulster University Featured PhD Programmes
University of Bristol Featured PhD Programmes

Efficient automated theorem proving for first-order logic

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

Automated theorem proving has applications ranging from proving theorems in mathematics to verifying correctness of hardware and software. Automated theorem proving is rooted in mathematical logic and combines theoretical methods such as completeness theorems for logical calculi and decision procedures together with implementation techniques for efficient inferences and simplifications. Although theorem proving had a considerable success over recent years many problems coming from applications are still out of reach for current theorem proving methods.This PhD will be focused on developing novel theoretical and practical methods for making automated theorem proving scale to problems that can not be solved by the current state-of-the-art automated methods. The candidate is expected to have a strong background in logic and/or formal methods, good implementation skills are desirable.

Funding Notes

This research project is one of a number of projects at this institution. It is in competition for funding with one or more of these projects. Usually the project which receives the best applicant will be awarded the funding. Applications for this project are welcome from suitably qualified candidates worldwide. Funding may only be available to a limited set of nationalities and you should read the full department and project details for further information.

References

Supervisor's Webpage http://www.cs.man.ac.uk/~korovink/

How good is research at University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2019
All rights reserved.