Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
How can AI and machine learning be leveraged to mitigate the impact of human activities on earth’s natural systems? Learn about data science tools and strategies being used to safeguard our water supply, feed the worldwide human population, and promote greater biodiversity and global sustainability.
Sessions run Wednesdays from 4:30–5:30 PM in CoDa E160. Each session features a different Stanford speaker; talk titles are announced by the organizers.
Sessions run Wednesdays from 4:30–5:30 PM in CoDa E160. Each session features a different Stanford speaker; talk titles are announced by the organizers.
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
Lucas Joppa, Chief Environmental Officer, Microsoft
As Microsoft’s first Chief Environmental Officer, Dr. Lucas Joppa works to advance the company’s core commitment to sustainability through technology innovation, program development, policy advancement, and global operational excellence. With a background in both environmental science and data science, Lucas is committed to using the power of advanced technology to help transform how society monitors, models, and ultimately manages Earth’s natural resources. Dr. Joppa founded Microsoft’s AI for Earth program in 2017—a five-year, $50 million cross-company effort dedicated to delivering technology-enabled solutions to global environmental challenges. Previously, Lucas was Microsoft’s Chief Environmental Scientist and led research programs in Microsoft Research. He remains an active scientist and one of Microsoft’s foremost AI thought leaders, speaking frequently on issues related to Artificial Intelligence, environmental science, and sustainability. With the extensive publication in leading academic journals, such as Science and Nature, Dr. Joppa is a uniquely accredited voice for sustainability in the tech industry. He holds a PhD in Ecology from Duke University, a BS in Wildlife Ecology from the University of Wisconsin, and is a former Peace Corps volunteer to Malawi.
Stefano Ermon, Assistant Professor of Computer Science, Stanford University
Dr. Ermon is an Assistant Professor in the Department of Computer Science at Stanford University, where he is affiliated with the Artificial Intelligence Laboratory and is a fellow of the Woods Institute for the Environment. His research is centered on techniques for scalable and accurate inference in graphical models, statistical modeling of data, large-scale combinatorial optimization, and robust decision making under uncertainty, and is motivated by a range of applications, in particular ones in the emerging field of computational sustainability. Dr. Ermon received his PhD from Cornell University.
