Awards
- 2024 ETAPS Best Paper Nomination (Craig Interpolation for Decidable First-Order Fragments, with Jesse Comer)
- 2023 ACM SIGMOD Research Highlights Award (for ACM PODS 2023 paper on Extremal Fitting Problems for Conjunctive Queries with Victor Dalmau, Maurice Funk, and Carsten Lutz)
- IJCAI 2023 Distinguished Paper Award (SAT-Based PAC Learning of Description Logic Concepts, with Maurice Funk, Jean Ch. Jung, and Carsten Lutz)
- ACM PODS 2023 Best Paper Award (Extremal Fitting Problems for Conjunctive Queries, with Victor Dalmau, Maurice Funk, and Carsten Lutz)
- 2023 Alberto Mendelzon Test-of-Time Award (PODS 2013: Ontology-Based Data Access: a Study through Disjunctive Datalog, CSP, and MMSNP, with Meghyn Bienvenu, Carsten Lutz, and Frank Wolter)
- 2014 IBM Research Division Accomplishment Award for a Body of Work on Synthesis of Schema Mappings from Data Examples in collaboration with Bogdan Alexe, Phokion Kolaitis, and Wang-Chiew Tan.
- ICDT 2012 Best Paper Award (Learning Schema Mappings, with Victor Dalmau and Phokion Kolaitis)
- Communications of the ACM – Research Highlights 2010 invited article (Structural characterizations of schema-mapping languages, with Phokion Kolaitis).
- 2006 EACSL Ackermann Prize for the best dissertation in Computer Science Logic
- 2002 ESSLLI Student Session Best Paper Award (The Partition Semantics of Questions, Syntactically, with Chung-chieh Shan)
Research Grants and Fellowships
- 2021-25: MSCA European Re-Integration Fellowship “LLAMA: Logic and Learning: an Algebra and Finite Model Theory Approach”. (PI)
- 2012-15: NSF Grant “Aspects of Integrating Heterogeneous and Inconsistent Data”. (Co-PI)
- 2006-09: NWO VENI grant “Abstract Computational Logic: Abstract Model Theory Meets Computational Logic” (PI)
- 2006-09: NWO Van Gogh Collaboration Grant “Expressive power and performance of query languages for XML” (PI)
- 2000-04: PhD fellowship from the Faculty of Humanities of the University of Amsterdam.