Programming Bits and Atoms
Neil Gershenfeld
http://cba.mit.edu/~neilg
Molecular Quantum Computation
Neil Gershenfeld, Isaac Chuang,
Bulk Spin-Resonance Quantum Computation,
Science, (275), 350-6 (1997)
Experimental Implementation of
Fast Quantum Searching,
I.L. Chuang, N. Gershenfeld, M. Kubinec,
Physical Review Letters (80), 3408 (1998)
Physical Science = Computer Science
• low-level language: cellular microcode
– programs represent physical resources
• high-level language: mathematical programming
– equivalence of local and global dynamics
• operating system: coded construction
– assembly of spatial computing structures
Paintable
Computing
Bill Butera,
Ara Knaian,
David Greenspan
Lattice Gas Hydrodynamics
=
=
space = time = state = logic
Conformal Computing
•
•
•
•
•
•
cover surfaces, fill volumes
incrementally extensible
embedded, unobtrusive form factors
distributed problems and solutions
adapt to applications and workloads
reliable operation from unreliable parts
Linear-Time
Sort
SEA
(David Dalrymple)
SEA: a Scalable Encryption Algorithm for Small Embedded Applications,
F. Standaert, G. Piret, N. Gershenfeld, and J. Quisquater,
Springer Lecture Notes in Computer Science
(3928), pp. 222-236 (2006)
• Fault Tolerance
• Self-Modifying
• Analog Logic
• Asynchronous
• Adiabatic
• Reversible
• Energy Conversion
CA Extensions
The Paintable Compiler
Ask Bill
Computer Programming
problem
algorithm
program
executable
protocol
microcode
dynamics
Mathematical Programming?
problem
algorithm
program
executable
protocol
microcode
dynamics
Local
Global
Newtonian mechanics
Principle of least action
Snell’s law
Fermat’s principle
Schrodinger’s equation
Feynman path integrals
(Luis Lafuente Molinero)
(Kenny Cheung, Erik Demaine)