Find research
Search among the University's research groups, research projects and research stories. You can free text search or filter by category, area or organisation.
If you are looking for a specific researcher, go to Find staff
Category
Choose category
Area
Choose area
Organisation
Choose organisation
Showing 7 of 7 hits
Sort by
| Title | Category | Date | Research Area |
|---|---|---|---|
Foundations for team semantics: Meaning in an enriched framework The project aims to develop new semantics for a variety of logics including temporal logics used for program verification. The goal is to provide a... | Project/group | Culture and languages, Science and Information Technology | |
Taming JoĢrmungandr: The Logical Foundations of Circularity The project is devoted to developing new techniques for the formal analysis of cyclic phenomena in mathematical, philosophical and computational... | Project/group | Culture and languages, Science and Information Technology | |
Modal mu-calculus: A study in descriptive complexity The project is part of a broader research programme with the purpose to deepen our understanding of the mathematical theory underpinning "reactive... | Project/group | Science and Information Technology | |
Logic Research Group The Logic Group uses formal tools to tackle questions from philosophy, mathematics, computer science and linguistics. Broad interests in the foundations... | Project/group | Culture and languages, Science and Information Technology | |
Reflecting on Truth and Types The goal of this research is to deepen our understanding of varying forms of reflection principle and their interrelation. We focus primarily on two... | Project/group | Science and Information Technology | |
Reflection and Truth What is truth?, how do we come to recognise it? and why do we trust it?
The project Reflection and Truth seeks to shed light on some of the most... | Project/group | Science and Information Technology | |
Algebraic geometry and number theory The group conducts research in a diverse selection of topics in algebraic geometry and number theory. Areas of interest and activity include, but are not... | Project/group | Science and Information Technology |