I work on improving automated reasoning over data in relational databases. A lot of different problems, such as transforming and restructuring relational data, can be viewed as reasoning problems. Likewise, various systems for data integration across data sources can also be seen as systems of logical rules, amenable to the same approach. This research draws on results from logic and logic programming as well as from database theory and applications.
Scientific interests: Database theory; automated reasoning; graph theory; optimization problems; probabilistic inference.
What triggers me scientifically: Understanding the mathematical properties behind clever solutions. I like figuring out why the things that work do, and discovering new mathematics that can then be applied to create better software.