Theoretical Computer Science (TCS)

The theme is focused on fundamental questions on all aspects of the theory of computing. This includes current and potential applications.

The theme is focused on fundamental questions on all aspects of the theory of computing. This includes current and potential applications.

Research Topics

Our research covers a relatively wide range of established and emerging fields in Theoretical Computer Science, including algorithms, coding theory, combinatorics on words, cryptography, database theory, decidability, distributed computing, formal languages and automata theory, game theory, graph theory, (algorithmic) learning theory, mathematical logic, scheduling.

See a list of current and upcoming seminars

Dr Joel Day (Lecturer)

Research interests and keywords:

台湾六合彩开奖记录ing combinatorial phenomena in order to better understand algorithmic problems involving descrete sequences over finite sets of symbols (usually called words or strings). Formal Languages; Combinatorics on Words; ComputationalSpecific topics include word equations & pattern matching problems.

Dr Shaheen Fatima (Senior Lecturer)

Research interests and keywords:

AI, Multi-agent systems, Game theory, Negotiation, Optimisation, Resource allocation, Learning

Dr Dominik Frydenberger (Senior Lecturer)

Research interests and keywords:

Algorithmic and combinatorial properties of models with repetition operators, applying results to domain specific languages (XML schema inference, graph databases, and information extraction). Keywords: database theory; finite model theory; formal language theory; combinatorics on words.

Dr Robert Mercas (Senior Lecturer)

Research interests and keywords:

Algorithms and combinatorics on sequences, bioinformatics algorithms, and formal Languages. Also trace monoids and pattern inference (learning theory). Keywords: algorithms and combinatorics on sequences; bioinformatics algorithms; formal languages; trace monoids.

Dr Lars Nagel (Lecturer)

Research interests and keywords:

Algorithms and complexity, distributed computing and systems and combinatorial optimisation. Keywords: algorithms; complexity; distributed computing; scheduling.

Dr Luca Prigioniero (Lecturer)

Research interests:

Professors Ana Salagean (Professor in Cryptography)

Research interests and keywords:

Cryptography and coding theory, particularly on algebraic and algorithmic aspects. Symmetric cryptography, especially stream ciphers, sequences over finite fields and cryptographic Boolean functions. Keywords: symmetric cryptography; sequences over fields; algebraic coding theory.

Dr Samuel Thompson (Research Associate)

Research interests:
  • Foundations of the Finite Model Theory of Concatenation, EPSRC
  • , DFG
  • , 台湾六合彩开奖记录
  • Mathematical and Algorithmic Methods for Cryptographic functions and sequences, Royal Society Newton Mobility Grant
  • Boolean functions with optimal stability of their cryptographic indicators under restriction of the inputs, EP/W03378X/1