Greg Michaelson studied Computer Science at the University of Essex and the University of St Andrews, working as a real-time programmer at Scottish Gas in between. He then taught at Napier College and the University of Glasgow, before joining Heriot-Watt University in 1983, where he gained his PhD. He was Head of Computer Science from 2003-8 and promoted to Professor in 2006. Dr Michaelson's research interests encompass formally motivated computing, in particular the design, implementation, and analysis of programming languages for multi-process systems. He published his first novel in 2008.
Mathematics, computer science, physics - and even biology - are now beginning to converge. This delightful book, beautifully illustrated, shows the physics of computation and the theory of computation as two sides of the same coin. We are witnessing a paradigm shift, the birth of a fruitful new interdisciplinary point of view. Gregory Chaitin, author of Proving Darwin: Making Biology Mathematical This book provides a unique and important presentation of the factors that have, do, and will limit the science of computation. A most stimulating, scholarly, and entertaining synthesis of history, logic, mathematics, and science. Stephen Barnett, University of Strathclyde, Glasgow, UK