

Physicist.. 
Type theory, Metatheory, Functional programming, Program extraction, Bootstrap, Reduction functions  
[BarrasSCCS]  Sets in Coq, Coq in Sets 
Logic and its applications in cognitive science, philosophy, and computer science.  
[Barwise87]  The Liar (with John Etchemendy)
Oxford University Press 1987 

[Barwise92]  The Language of First Order Logic (with John Etchemendy)
CSLI Lecture Notes Number 34, CLSI/SRI 1992; ISBN 0937073903 
Logic and the metamathematics of constructive mathematics.  
[Beeson80]  Foundations of Constructive Mathematics SpringerVerlag 1980 
History of ideas, political philosophy.  
[Berlin78]  Russian Thinkers, Penguin Books, 1994.  
[Berlin79]  Against the Current  Essays in the History of Ideas, Clarendon Paperbacks, 1979.  
[Berlin90]  The Crooked Timber of Humanity  Chapters in the History of Ideas, John Murray (publishing) Ltd., 1990.  
[Berlin02]  Freedom and its Betrayal  Six Enemies of Human Liberty, Chatto & Windus, 2002.  
[Berlin1999]  The Roots of Romanticism  The A.W. Mellon Lectures in the Fine Arts, 1965, Edited by Henry Hardy, Pimlico, 1999.  
[Berlin2004]  Liberty, Edited by Henry Hardy. This includes his "Four Essays on Liberty" and various other writings on the same topic, Oxford University Press, 2004.  
[Berlin2006]  Political Ideas in the Romantic Age  Their Rise and Influence on Modern Thought, Edited by Henry Hardy with and introduction by Joshua L. Cherniss, the long (but incomplete) version of the 1952 Flexnor Lectures, Chatto & Windus, 2006. 
Inventor of the World Wide Web and enthusiast for the Semantic Web  
Design Issues  concerning the web 
Formal Methods. VDM. Railway software.  
Triptych  a Programming Methodology Project 
Founder of the International Paleopsychology Project and executive editor of Mindfire. Leader of the "Group Selection Squad" (a worldwide team of 45 scientists dedicated to opening new horizons within the evolutionary disciplines), and a board member of the Epic of Evolution Society.  
[Bloom1997]  The Lucifer Principle: a scientific expedition into the forces of history; Atlantic, 1997 ; TV series proposal  
[Bloom2000]  Global Brain: The Evolution of Mass Mind from the Big Bang to the Twenty First Century John Wiley & Sons 2000. See also: Global Brain YahooGroup  
Reinventing Capitalism (web page)  
Big Bang Tango Media Lab (web page) 
Exact computation with reals (inter alia). 
Physics, computational neuroscience, mathematical logic, philosophy, AI and some psychology. 
Theory of Formal Methods, Application of Formal Methods and Concurrency Theory. Exotic Applications of Formal Methods 
Recursive and computable operations of topological spaces (including reals). 
XR, Exact computation with reals (inter alia). 
Literary agent, and author.  
[Brockman95]  The Third Culture; Simon & Schuster 1995; ISBN 0684823446  Review 
Digerati; web site dedicated to the deification of a technoelite 

Mathematics, Physics, Music. Set Theory and Foundations 
Logic, especially combinatory logic. 
Philosophy, logic, set theory. 