| 1984 | MS/BS | Physics | University of Massachusetts at Boston |
| 1984-6 | Res. Asst. | Nuclear Physics | Massachusetts Inst. Tech. |
| 1991 | Ph.D. | Mathematics | University of Colorado at Boulder |
| Thesis: ``Generalized Degrees and Densities for Families of Sets'' | |||
| Adviser: R. Laver | |||
| 1991-2 | Res. Assoc. | Computer Science | Technical University of Nova Scotia |
| 1992-5 | Postdoc | Los Alamos Nat. Lab. | |
| 1995-2003 | Technical Staff Member | Los Alamos Nat. Lab. | |
| 2003-present | Scientist, Fellow | Nat. Inst. St. & Tech. | |
My work consists of developing and applying mathematical and physical tools to better understand the limitations and utilize the capabilities of information processing resources. I use ideas and results from discrete mathematics, linear and multilinear algebra, information theory, the theory of computation and theoretical physics, which I have applied to automated reasoning, learning theory, numerical methods and the human genome project. Since 1996, my focus has been on quantum information processing, with contributions to quantum coding theory, models of computation, algorithms and technology.
Quantum information processing: The theoretical, experimental and technological areas covering the use of quantum mechanics for communication and computation.
Most of my work is available at arXiv.org.
2010-03-29