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 the correctness of query optimization results.
Xinyu Wang
Assistant Professor of Electrical Engineering and Computer Science, College of Engineering
Programming Languages, Formal Methods, Artificial Intelligence, Software Engineering
COntact
Methodologies
Computing / Databases and Data management / Machine Learning / Systems
Applications