Ecology and environment
Video
Research talk: Correct computational law and civil procedure with the Lean Proof Assistant
Computational law, such as tax law, or pension computations, encodes an algorithm. But in practice, the algorithm is hidden behind layers of legalese and obscure implementations, with no transparency or accountability. The Correct Computational Law…
Video
Panel discussion: Towards climate-smart cities: IoT networks for air pollution sensing
Across global cities, policymakers are seeking to combat climate change through initiatives like low-emissions zones and fleet electrification. The most immediate local benefits of these policies – reductions in health-hazardous air pollutants – can now…
Video
Lightning talks: Sustainably nourishing the world
How do we get everyone in the world access to nutritious food grown in a sustainable way? Unlocking more value from the data in the supply chain for consumers and all participants in the supply…
Video
Panel discussion and research talk: Computational advances in climate risk assessment
Climate change poses significant risks to human welfare as well as biodiversity. Improved modeling is needed to better understand the chain of impacts, and to mitigate or avoid the worst outcomes. Microsoft and university researchers…
Video
Panel discussion: From science to policy: Decision-making under uncertainty for global emergencies
Science plays a crucial role in helping governments make well-informed policy decisions, particularly in times of crisis. Science is not perfect though and how uncertainties are communicated to policymakers, and ultimately the public, is extremely…
Event
Research Summit 2022
Microsoft Research Summit 2022, held October 18-20, 2022, explores what’s next for technology and humanity.
Tool
FarmVibes.AI
With FarmVibes.AI, you can develop rich geospatial insights for agriculture and sustainability. Build models that fuse multiple geospatial and spatiotemporal datasets to obtain insights (e.g. estimate carbon footprint, understand growth rate, detect practices followed) that would…
Project
Project FarmVibes
Democratizing digital tools for sustainable agriculture As one of the biggest contributors to climate change, agriculture, along with land use degradation and deforestation, account for about a quarter of the global GHG emissions and consumes…