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.