Xinyu Wang
My areas of expertise include programming languages, formal methods, software engineering, artificial intelligence, including their applications in data systems and data science. For example, how to derive insights from large amount of data for decision making; how to automatically synthesize SQL queries from high-level specifications (such as examples, natural language, etc.); how to formally verify ...