• 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 FellowshipLLAMA: Logic and Learning: an Algebra and Finite Model Theory Approach”. (PI)
  • 2012-15: NSF GrantAspects of Integrating Heterogeneous and Inconsistent Data”. (Co-PI)
  • 2006-09: NWO VENI grantAbstract Computational Logic: Abstract Model Theory Meets Computational Logic” (PI)
  • 2006-09: NWO Van Gogh Collaboration GrantExpressive power and performance of query languages for XML” (PI)
  • 2000-04: PhD fellowship from the Faculty of Humanities of the University of Amsterdam.