Department of Theoretical Computer Science

Research groups

We have three research groups that focus on all different kinds of algorithms. Our research shows that theoretical computer science can also push the boundaries of IT.

Arbology

In this group, we focus on research in the theory of algorithms for processing of tree data structures. Examples of tree structures include abstract syntactic trees or XML documents. With regard...

Graphs, Games, Optimization, Algorithms, Theoretical Computer Science (G²OAT)

The G²OAT research group focuses on research in discrete optimization.

The Prague Stringology Club (PSC)

The researchers of the Prague Stringology Club deal with processing one dimensional strings, their efficient storage, and pattern matching. The main research topics are stringology, data...