Career
Visiting scholar at the Lawrence Berkeley Laboratory of the University of California at Berkeley, United States.A. (1982–1983), the Lebedev Institute of the Moscow State University, and the Ioffe Institute, Saint St. Petersburg (1986). Docent in Theoretical Physics at the Vienna Technical University. Ao. University Professor at the Institute for Theoretical Physics of the Vienna Technical University.
External Researcher at the Centre for Discrete Mathematics and Theoretical Computer Science of the University of Auckland.
Research in quantum theory, applications of computability theory, algorithmic information theory, constructive mathematics (in Errett Bishop"s sense) in theoretical physics, equilibrium dynamics.