Personal tools
You are here: Home Graduate Study

Graduate Study

Combinations and Abstractions of Formal Games

Develop a principled, clean account of how games and their abstractions may be combined.

Read More…

Formal Verification Methods for Quantum Systems

Develop temporal logics and model checking techniques for quantum systems

Read More…

Graph Databases

Research on foundational, algorithmic, and systems aspects of graph databases.

Read More…

Modalities for computational effects

Capturing behavioural properties of computation with effects using logical modalities

Read More…

Solving PSPACE-complete Problems in Automata Theory

Develop algorithms and tools for solving most practical instances of PSPACE-complete problems in automata theory, e.g., language inclusion, equivalence and universality (see www.languageinclusion.org).

Read More…

Testing model transformations

Develop some aspect of the theory of testing model transformations.

Read More…

Topics in Pseudorandomness and Circuit Lower Bounds

This topic is suitable for a student with interests in cryptography or complexity theory.

Read More…

Quantitative Modelling with Process Algebras

Stochastic process algebras, providing high-level descriptions of dynamic systems, amenable to rigorous mathematical analysis through formal semantics.

Read More…

Collective Dynamics from Stochastic Process Algebras

Precise interaction of individuals coupled with analysis of the dynamic behaviour at the level of populations.

Read More…

Decision procedures for infinite state systems

The aim is to extend techniques of model checking and equivalence checking from finite to infinite state systems.

Read More…

A Rule-Based Formalism for Contact + Locality in Computational Systems Biology

The project is to investigate stochastic rule-based formalisms for computational systems biology that allow multilevel cellular systems that permit bonding at all levels, from cells in tissue to proteins in complexes.

Read More…

Application instructions

Instructions for applying for PhD study at LFCS

Read More…

Measuring, Counting and Sampling in Polytopes

Research project on algorithmic and combinatorial aspects of diameter, lattice points and vertices of simplified polytopes.

Read More…

Document Actions