Data platforms and analytics
Advancing data systems and analytics that enable scalable insights, intelligent applications, and scientific discovery.
Instance
In 2013, the Microsoft Research Artist in Residence program hosted James George to foster collaborations and cross-fertilization of ideas between the academic research and artistic creative coding communities.
FigureQA: an annotated figure dataset for visual reasoning
Reasoning about figures Almost every scientific publication is accompanied by data visualizations in the form of graphs and charts. Figures are an intuitive aid for understanding the content of documents, so naturally, it is useful to…
Optimizing Big-Data Queries using Program Reasoning
This project is at the intersection of programming languages and database systems. The goal of the project is to use programming languages techniques to analyze and optimize big-data queries. We show how program synthesis can be…