Search our research
14236 results
Page 156
Research Project
The View from the South: New approaches for understanding mechanisms and impacts of climate tipping points
Abrupt climate shifts or 'tipping points' can lead to irreversible changes in the Earth System, with far-reaching impacts on environments, ecosystems, and human societies. Examples include the collapse of the Greenland and West Antarctic Ic...
Person
Michael Ian Rawson
Michael thinks that computers ought to be able to reason and learn from their past experiences. He is particularly interested in automated theorem proving: computer systems that make watertight logical arguments. He is part of a team developing the l...