by Eszter Haseli | Jul 28, 2023
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...
by Zoe Myatt | May 23, 2023
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...