Boundary Institute is a nonprofit scientific research organization dedicated to the advancement of 21^st-Century science. We are currently pursuing two major research themes, one concerning the foundations of physics, the other the foundations of mathematics and computer science.

Physics Link Theory and new physics Causality and randomness Anomalies in randomness Consciousness and physics Experimental site - www.boundarylab.org (aka www.gotpsi.org) Mathematics and Computer Science Boundary Math - www.boundarymath.org Sequential Constraints - www.torics.org Indentity & Link Theory etc Formal Methods - design tools, verification, and security

Ongoing research projects and activities

Formal Methods project
"Improved Design Methodology for Reconfigurable Systems: New Tools and New Foundations", proposal by Shoup and Furtek, 2004

Abstract: Computing hasn't changed much in nearly 50 years... That is, while the price/performance of computing hardware has improved dramatically over the years, and computers have gotten considerably easier to use, our underlying models of computation and our most common methods of hardware and software engineering have remained largely unchanged since the earliest days of computing.

Although the entire computing industry has been driven primarily by IC feature size (and thus Moore’s law) for more than three decades, several new developments and trends would indicate that a sea change is imminent. Reconfigurable and adaptive systems will inevitably become the next mainstream computing technology, replacing a wide class of instruction-based and ASIC-based computers -- and making new and better tools not only desirable but essential.

We argue here that not only better tools, but new mathematical foundations are needed that permit grounded formal representations, unified and common to both hardware and software, from the earliest specification of a computation through to implementation and testing. Specification, design, verification, and debugging should be represented as a seamless whole, rather than by a collection of language extensions and ad hoc techniques.