My research interests lie in the field of databases, with a focus on the theoretical aspects of data management. I am particularly interested in applying formal methods to various problems of modern data management systems: data processing in massively parallel systems, data pricing, and managing data with uncertainty.