My research focuses on theoretical computer science, particularly in the realm of database theory, exploring the efficiency of evaluating complex queries over large datasets. At a3nm.net, I present a comprehensive overview of my work, which includes themes such as enumeration algorithms, query maintenance over dynamic data, and probabilistic query evaluation.

I delve into enumeration strategies that allow for efficient handling of queries yielding extensive results, leveraging circuit variants as compressed representations. My collaborations have yielded significant findings, notably in producing streamlined algorithms for queries within monadic second-order logic. Additionally, I explore how to maintain query results in dynamic contexts, particularly regarding Boolean queries.

My interests also extend to probabilistic data, where I investigate the complexities of calculating probabilities associated with queries and evaluating data provenance. Throughout my academic career, I present my findings at leading conferences and journals, making my research accessible and impactful within the theoretical computer science community.