Known for contributions to parallel computation in the 1980s. Author of books on topics such as computed worlds (Mirror Worlds).