June 2021

Research positions (both PhD and postdoctoral) available in our research group! If you are intrigued by the kind of research we do, please consider applying. [ More Information ]


July 2021

Maximilian Schleich was Highly Commended in the competition for the CPHC/BCS 2020 Distinguished Dissertation Award. Each year, BCS and the Conference of Professors and Heads of Computing (CPHC) award the best UK PhD/DPhil dissertations in computer science that stand out for their excellence.

May 2020

The project moved from the University of Oxford to the University of Zurich along with the principal investigator and a few existing members of the team. Several current members continue to work at the University of Oxford, while other current members work at the University of Edinburgh.


May 2021, University of Zurich

Efficient Algorithms

This course gives a unifying overview of the latest research in efficient computation over structured data, with applications spanning databases, artificial intelligence and machine learning, algorithms, and linear algebra. Besides their theoretical interest, algorithms overviewed in this course represent a key differentiator for commercial database and relational AI engines and thus essential knowledge for the future data system engineer.

Topics: (1) Unifying language and computation for: databases, constraint satisfaction problems, satisfiability, probabilistic graphical models, linear algebra matrix computation, gradients and cost functions for machine learning; (2) Commutative semirings; (3) Functional Aggregate Queries; (4) Decompositions; (5) Width measures; (6) Solving joins optimally; (7) Worst-case optimal size bounds for joins; (8) Solving SAT; (9) Solving functional aggregate queries

Read More..

Research Projects ( 26-minute video overview )

Image Description

Principles of Factorised Databases

Principled approach to avoiding redundancy in the representation and computation of query results in relational databases. Worst-case optimal computation of compressed, factorised representations for join query results.

Read More..
Image Description

In-Database Analytics

Scalable techniques for machine learning over databases that exploit the relational structure, push the learning task inside the database query engine, and factorise its computation.

Read More..
Image Description

Incremental Maintenance for Analytics

Unified framework for maintaining a wide range of analytics over databases that leverages factorization for underlying queries, output data representation, and bulk updates.

Read More..
Image Description

Adaptive Query Processing based on Degree Information

We investigate trade-offs in static and dynamic evaluation of queries with arbitrary free variables. In the static setting, the trade-off is between the time to partially compute the query result and the delay needed to enumerate its tuples. In the dynamic setting, we additionally consider the time needed to update the query result under single-tuple inserts or deletes to the database.

Read More..


Image Description

Ahmet Kara

Ahmet earned his PhD from the University of Dortmund in the area of Logics and Automata on data words and data trees and their applications in formal system verification. He contributes to the principles of factorized computation and its incremental maintenance.

Image Description

Nadia Knorozova

Nadia completed a BA in Computer Science from the University of Minnesota - Twin Cities, followed by an MSc in Computer Science at the University of Oxford. She also worked as software engineer in industry, for three years before starting her MSc and then again three years before starting her PhD at UZH in February 2021.

Image Description

Antonia Kormpa

Antonia earned her MSc in Computer Science and BSc in Computer Engineering and Informatics from University of Patras, Greece. She is a second year PhD student at the University of Oxford.

Image Description

Dan Olteanu

Dan earned his PhD from the University of Munich. He was a professor of Computer Science at the University of Oxford since 2007 before joining the University of Zurich in 2020. He is the head of the FDB project.

Image Description

Nils Vortmeier

Nils earned his PhD from TU Dortmund University in 2019 on the topic of dynamic descriptive complexity theory. He joined the group in autumn 2020.

Image Description

Haozhe Zhang

Haozhe earned his MSc in Computer Science from Oxford. He is currently a third year PhD student and contributes to incremental maintenance of analytical workloads.

Image Description

Djordje Zivanovic

Djordje Zivanovic earned his MSc in Electrical engineering and Computer Science and BSc in Electrical engineering from University of Belgrade, Serbia. He is a second year PhD student and contributes to in-database linear algebra.