Projects
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
D
- DeQS (De)constructing Quantum Software - DeQS
A
- Algebraic and Coalgebraic Semantics for Knowledge Acquisition Algebraic and coalgebraic semantics for knowledge acquisition: foundations, applications, and tool support
- Analysis of evaluation and satisfiability problems Structural and game-based analysis of evaluation and satisfiability problems
- Automating quantum circuit transformations Automating quantum circuit transformations for optimisation and fault-tolerance
C
D
E
- Entanglement in Quantum Computing An Abstract Approach to Entanglement in Quantum Computing
F
- Foundational Structures for Compositional Meaning
- Foundational Structures and Methods for Quantum Informatics
G
- Game Semantics of Concurrency, Objects and Mobility Towards a Game Semantics of Concurrency, Objects and Mobility
I
L
- LINT Logic of Interaction and Information Flow
P
Q
- QICS Foundational Structures for Quantum Information and Computation
- QISS The Quantum Information Structure of Spacetime
- Quantum Information and its Ramifications for IT The Structure of Quantum Information and its Ramifications for IT
S
T
- The Road to a New Quantum Formalism The Road to a New Quantum Formalism - Categories as a Canvas for Quantum Foundations