Karl Svozil (born 18 December 1956 in Vienna, Austria) is an Austrian physicist educated at the University of Vienna and Heidelberg University. Visiting scholar at the Lawrence Berkeley Laboratory of the University of California at Berkeley, US (1982–1983), the Lebedev Institute of the Moscow State University, and the Ioffe Institute, St. Petersburg (1986). Docent in Theoretical Physics at the Vienna Technical University. Ao. Univ. Professor at the Institute for Theoretical Physics of the Vienna Technical University. External Researcher at the Centre for Discrete Mathematics and Theoretical Computer Science^[1] 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.^[2]

Selected bibliography

• Svozil, Karl (1 September 1998). Quantum Logic. Springer Science & Business Media. ISBN 978-981-4021-07-4.
• —— (1993). Randomness and Undecidability in Physics. WORLD SCIENTIFIC. doi:10.1142/1524. ISBN 978-981-02-0809-7.