Karl Svozil
Encyclopedia
Karl Svozil is an Austrian physicist
Physicist
A physicist is a scientist who studies or practices physics. Physicists study a wide range of physical phenomena in many branches of physics spanning all length scales: from sub-atomic particles of which all ordinary matter is made to the behavior of the material Universe as a whole...

 educated at the University of Vienna
University of Vienna
The University of Vienna is a public university located in Vienna, Austria. It was founded by Duke Rudolph IV in 1365 and is the oldest university in the German-speaking world...

 and Heidelberg University. Visiting scholar at the Lawrence Berkeley Laboratory of the University of California at Berkeley, U.S.A. (1982–1983),
the Lebedev Institute of the Moscow State University
Moscow State University
Lomonosov Moscow State University , previously known as Lomonosov University or MSU , is the largest university in Russia. Founded in 1755, it also claims to be one of the oldest university in Russia and to have the tallest educational building in the world. Its current rector is Viktor Sadovnichiy...

, and the Ioffe Institute, St. Petersburg (1986). Docent in Theoretical Physics at the Vienna Technical University.
PA.o Univ.Professor at the Institute for Theoretical Physics
Institute for Theoretical Physics
Institute for Theoretical Physics may refer to various educational institutions around the globe including:* C. N. Yang Institute for Theoretical Physics at Stony Brook University, New York...

 of the Vienna Technical University. External Researcher at the Centre for Discrete
Mathematics and Theoretical Computer Science of the University of Auckland
University of Auckland
The University of Auckland is a university located in Auckland, New Zealand. It is the largest university in the country and the highest ranked in the 2011 QS World University Rankings, having been ranked worldwide...

.

Research in quantum theory
Quantum mechanics
Quantum mechanics, also known as quantum physics or quantum theory, is a branch of physics providing a mathematical description of much of the dual particle-like and wave-like behavior and interactions of energy and matter. It departs from classical mechanics primarily at the atomic and subatomic...

, applications of computability theory
Computability theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...

, algorithmic information theory
Algorithmic information theory
Algorithmic information theory is a subfield of information theory and computer science that concerns itself with the relationship between computation and information...

, constructive mathematics (in Errett Bishop
Errett Bishop
Errett Albert Bishop was an American mathematician known for his work on analysis. He is the father of constructive analysis, because of his 1967 Foundations of Constructive Analysis, where he proved most of the important theorems in real analysis by constructive methods.-Life:Errett Bishop's...

's sense) in theoretical physics, equilibrium dynamics.

Selected bibliography

  • K. Svozil. Quantum Logic, Springer, Singapore, 1998, xviii+214 pages.


External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK