Xinyu Wang

Xinyu Wang

My research interests are in the areas of programming languages, formal methods, and software engineering. In particular, I’m interested in developing intelligent programming systems that allow programmers and non-programmers to create reliable software easily in a...
Kai Zhu

Kai Zhu

Kai Zhu has a strong interest in global change biology, ecological modeling, and environmental data science. He enjoys exploring the intersection between ecological theory and advanced tools in statistics and computer science, including Bayesian inference and machine...