"a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution."

"My research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, I combine theoretical research on the logical foundations of computer science in programming languages and verification with system building. The topics I am interested in include logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks."

"In 1969, George Spencer-Brown published a mathematical book called Laws of Form, which has inspired explorations in philosophy, cybernetics, art, spirituality, and computation. The work is powerful and has established a passionate following as well as harsh critics. This web site explores these people, their ideas and history, and provides references for further exploration."