-
sugirió una manera primitiva de codificar una secuencia de dígitos binarios -
Demostró que ninguna máquina de Turing clásica (probabilista o no) podía simular algunos comportamientos cuánticos sin incurrir en una ralentización exponencial -
Describió la primera máquina de Turing cuántica (MTC). Esta MTC podía realizar tareas que una clásica no podía. Los procesos totales del ordenador cuántico deben ser unitarios y por tanto no
disipativos y usa una lógica reversible -
Este describió los circuitos cuánticos como formados por puertas cuánticas conectadas mediante hilos, demostrando que existía una puerta cuántica universal y reversible análoga a la de Toffoli clásica. -
Planteo un algoritmo eficaz para la factorización, usando los recursos de un ordenador cuántico. La importancia de esta posibilidad radica en que la dificultad de la factorización está en la base de los códigos criptográficos.