Funded PhD Studentship: DTC CS 11 - Computing with Infinite Data: logical methods for the specification and extraction of formally verified algorithms for infinite data

Swansea University is a UK top 30 institution for research excellence (Research Excellence Framework 2014), and has been named Welsh University of the Year 2017 by The Times and Sunday Times Good University Guide.

Swansea Science DTC is a community committed to undertaking world-class research that has a positive impact globally and we have a fully-funded PhD scholarship for 2017/2018 entry.

The Department of Computer Science provides state-of-the-art facilities including fully networked laboratories running Windows and Linux and a project laboratory containing specialised equipment. Laboratories support a wide range of software including programming languages Java, C# and the .NET framework, C, C++, Haskell and Prolog.

There are also integrated programme development environments such as Visual Studio and Netbeans; the widely used Microsoft Office Package; web access tools and many special purpose software tools including graphical rendering and image manipulation tools and more.

In the most recent Research Excellence Framework (REF) in 2014, 80% of the research submitted by the Computer Science Department was judged to be world-leading or internationally excellent. High profile researchers include Professor Harold Thimbleby whose book ‘Press On’ won the American Publishers’ Association best book award in computer science. The department has the 12th highest percentage of world-leading researchers in any computer science department in the UK. The department also has strong links with multinational companies including IBM, Nokia, SanDisk, Philips, Affinity Software and Sourcebits.

Description:

Infinite or virtually infinite data occur naturally when processing very large data sets or exact real numbers, and computing with such data poses many theoretical and practical challenges. Computing with Infinite Data (CID,http://cordis.europa.eu/project/rcn/207017_en.html, http://www.cs.swansea.ac.uk/theory/index.php/cid/) is a four year Horizon 2020 project, starting in April 2017, that will provide the opportunity and means for two PhD students to spend several months abroad in order to facilitate research and knowledge exchange in that area. The proposed research will focus on logical methods for the specification and extraction of formally verified algorithms for infinite data.