Karl Svozil (born 18 December 1956 in

Vienna en, Viennese , iso_code = AT-9 , registration_plate = W , postal_code_type = Postal code , postal_code = , timezone = CET , utc_offset = +1 , timezone_DST ...

Austria Austria, , bar, Östareich officially the Republic of Austria, is a country in the southern part of Central Europe, lying in the Eastern Alps. It is a federation of nine states, one of which is the capital, Vienna, the most populous ...

) is an Austrian

physicist A physicist is a scientist who specializes in the field of physics, which encompasses the interactions of matter and energy at all length and time scales in the physical universe. Physicists generally are interested in the root or ultimate caus ...

educated at the

University of Vienna The University of Vienna (german: Universität Wien) is a public research university located in Vienna, Austria. It was founded by Duke Rudolph IV in 1365 and is the oldest university in the German-speaking world. With its long and rich histor ...

and

Heidelberg University } Heidelberg University, officially the Ruprecht Karl University of Heidelberg, (german: Ruprecht-Karls-Universität Heidelberg; la, Universitas Ruperto Carola Heidelbergensis) is a public research university in Heidelberg, Baden-Württemberg, ...

. Visiting scholar at the

Lawrence Berkeley Laboratory Lawrence Berkeley National Laboratory (LBNL), commonly referred to as the Berkeley Lab, is a United States national laboratory that is owned by, and conducts scientific research on behalf of, the United States Department of Energy. Located in ...

of the

University of California at Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant univ ...

, U.S.A. (1982–1983), the

Lebedev Institute The Lebedev Physical Institute of the Russian Academy of Sciences (LPI RAS or just LPI) (in russian: Физи́ческий институ́т имени П.Н.Ле́бедева Российской академии наук (ФИАН)), situated ...

of the

Moscow State University M. V. Lomonosov Moscow State University (MSU; russian: Московский государственный университет имени М. В. Ломоносова) is a public research university in Moscow, Russia and the most prestigious ...

, and the

Ioffe Institute The Ioffe Physical-Technical Institute of the Russian Academy of Sciences (for short, Ioffe Institute, russian: Физико-технический институт им. А. Ф. Иоффе) is one of Russia's largest research centers specialized ...

St. Petersburg Saint Petersburg ( rus, links=no, Санкт-Петербург, a=Ru-Sankt Peterburg Leningrad Petrograd Piter.ogg, r=Sankt-Peterburg, p=ˈsankt pʲɪtʲɪrˈburk), formerly known as Petrograd (1914–1924) and later Leningrad (1924–1991), i ...

(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 of the

University of Auckland , mottoeng = By natural ability and hard work , established = 1883; years ago , endowment = NZD $293 million (31 December 2021) , budget = NZD $1.281 billion (31 December 2021) , chancellor = Cecilia Tarrant , vice_chancellor = Dawn F ...

. Research in

quantum theory Quantum theory may refer to: Science *Quantum mechanics, a major field of physics *Old quantum theory, predating modern quantum mechanics * Quantum field theory, an area of quantum mechanics that includes: ** Quantum electrodynamics ** Quantum ...

, applications of

computability theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since e ...

algorithmic information theory Algorithmic information theory (AIT) is a branch of theoretical computer science that concerns itself with the relationship between computation and information of computably generated objects (as opposed to stochastically generated), such as st ...

constructive mathematics In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove th ...

(in

Errett Bishop Errett Albert Bishop (July 14, 1928 – April 14, 1983) was an Americans, American mathematician known for his work on analysis. He expanded constructive analysis in his 1967 ''Foundations of Constructive Analysis'', where he Mathematical proof, p ...

's sense) in theoretical physics, equilibrium dynamics.Svozil's publications
/ref>

Notes

Selected bibliography

*K. Svozil
''Quantum Logic''
Springer, Singapore, 1998, xviii+214 pages. *K. Svozil
''Randomness and Undecidability in Physics''
World Scientific, Singapore, 1993, xvi+292 pages.

External links

* {{DEFAULTSORT:Svozil, Karl 20th-century Austrian physicists 21st-century Austrian physicists 1956 births Living people Academic staff of TU Wien