[DMANET] PhD Studentship in Computer Science Logic at University of Liverpool

PhD Studentship in Computer Science Logic, applied to Databases and Knowledge Representation at University of Liverpool

The Knowledge Representation and Verification Groups at the Department of Computer Science, University of Liverpool, jointly offer a PhD Scholarship for work at the intersection of Logic, Knowledge Representation, and Databases. The topic of the project is dependent on the interest and background of the student. It is linked to the new EPSRC-funded research project "quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data".

Ontology-based data management (OBDM) is a technology that has been developed over the past decade with the aim of facilitating access to various types of data sources. So far, OBDM has been developed primarily for access to purely qualitative and one-dimensional data, but nowadays data is mostly numerical, many-dimensional, often temporal, and user information needs usually involve quantitative analysis.

The aim of this project is to develop a novel OBDM framework for querying and analysing many-dimensional numerical data. To address the challenges, we aim to bring together techniques from databases, knowledge representation, and formal methods, in particular temporal and modal logics, and develop these further. We aim to develop a theoretical framework for querying such data, develop tools for using this framework in practice, and test our tools with our partners.

The research will take place under the direction of Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann at the Department of Computer Science, University of Liverpool. quantMD is a joint project with Professor Michael Zakharyaschev at University of London and with the following partners: Free University of Bolzano (Italy), Siemens (Germany), Sirius (Norway), J. Pilsudski Institute (US), and Siris Academic (Spain).

The PhD student on this project will have a good background in one of the following areas: computational logic, mathematical logic, databases, or knowledge representation and reasoning.

For more information and to apply, please contact Professor Frank Wolter (https://www.liverpool.ac.uk/computer-science/staff/frank-wolter/) and Dr Martin Zimmermann (https://www.liverpool.ac.uk/computer-science/staff/martin-zimmermann/).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************