KGS

2015 - current: Dana Scott
Dana Stewart Scott was born 11 October 1932 in Berkeley, California. He studied at UC Berkeley (B.A. 1954) and then at Princeton (Ph.D. 1958 under Alonzo Church). He has held academic appointments at Chicago (1958-60), UC Berkeley (1960-63), Stanford (1963-69), Amsterdam (1968-69), Princeton (1969-72), Oxford (1972-81), Linz, Austria (1992-93), and finally Carnegie Mellon University (1981-2003). Scott received honorary doctorates from Utrecht (1986), Darmstadt (1995), Edinburgh (1995), Ljubljana (2003), and St Andrews, Scotland, (2014). He was awarded several prizes, most notably the ACM Turing Award (jointly with Michael Rabin) (1976), the Rolf Schock Prize, Royal Swedish Academy of Sciences (1997), and the Gold Medal of the Sobolev Institute of Mathematics, Novosibirsk (2009). He is a Fellow of the British Academy and the US National Academy of Sciences. Scott supervised the Ph.D. theses of 51 students, some solely, some jointly. He and his wife currently reside in Berkeley, where he is a Visiting Scholar in Mathematics at UC Berkeley.

2009 - 2015: Petr Hajek
Petr Hajek studied mathematics at the Charles University Prague and continued his studies as a postgraduate at the Mathematical Institute of the Czechoslovak Academy of Sciences, where he was appointed as a researcher in 1965. From 1970 till 1975 he studied organ at the Academy of Musical Arts. In 1993 he became associate professor at the Charles University, and full professor at the same university in 1997. He has been director of the Institute of Computer Science of the Academy from 1992 till 2000. He became a honorary professor at the Technical University of Vienna in 1994. Petr Hajek has made numerous contributions to mathematical logic and computer science. He has written several books, two of which have become standard works in the field: Metamathematics of first-order arithmetic (1993), joint with Pavel Pudlak, and Metamathematics of fuzzy logic (1998).

2003 - 2009: Gaisi Takeuti
Gaisi Takeuti, scholar and friend of Kurt Goedel, is one of the most famous proof theorist of the last century. He has contributed for over fifty years in a fundamental way to various areas of research, including set theory, ordinal analysis, fuzzy logic, intuitionistic logic and bounded arithmetic. His book on proof theory (Proof Theory, 1975) has become a standard work in the field. He has also written a book on his scientific and personal relations to Kurt Goedel (and to some other eminent logicians): Memoirs of a proof theorist. Gödel and other logicians (translation from Japanese in 1998).

1996 - 2003: Petr Hajek
Petr Hajek studied mathematics at the Charles University Prague and continued his studies as a postgraduate at the Mathematical Institute of the Czechoslovak Academy of Sciences, where he was appointed as a researcher in 1965. From 1970 till 1975 he studied organ at the Academy of Musical Arts. In 1993 he became associate professor at the Charles University, and full professor at the same university in 1997. He has been director of the Institute of Computer Science of the Academy from 1992 till 2000. He became a honorary professor at the Technical University of Vienna in 1994. Petr Hajek has made numerous contributions to mathematical logic and computer science. He has written several books, two of which have become standard works in the field: Metamathematics of first-order arithmetic (1993), joint with Pavel Pudlak, and Metamathematics of fuzzy logic (1998).

1992 - 1996: Daniele Mundici
Daniele Munidici studied physics at the University of Modena, Italy. After working some years as a junior and high school teacher he returned to university in 1983, as an assistant professor at the University of Florence. From 1987 till 2002 he was professor in computer science at the University of Milan. In 2002 he became professor in mathematical logic at the University of Florence. He is a distinguished visiting professor of the University of Bahia Blanca, Argentina since 1999, and a member of the International Academy of Philosophy of Science, Bruxelles, since 1995. Daniele Mundici's work ranges over various fields of research, including many-valued logic, algebraic logic, arithmetic and game theory.

1989 - 1992: Ronald B. Jensen
Ronald Björn Jensen studied economy and mathematics at the American University in Washington and the University of Bonn. At the latter university he received his PhD in 1964. He was professor of mathematics at the university of Oslo from 1969 to 1973. During this period he also lectured at the Rockefeller University in New York (until 1971) and the University of California at Berkeley (1971 till 1973). He was awarded the Humboldt prize at the University of Bonn (1974-1975) where he was also professor of mathematics from 1976 till 1978. He was a visiting fellow at Oxford University's Wolfson College (1978-1979), professor of mathematics at the University of Freiburg (1979-1981), and a senior research fellow at the All Souls College of Oxford University (1981-1994). From 1994 until 2001 he was a professor of mathematical logic at the Humboldt University in Berlin. Ronald Jensen's main research contributions are in set theory, more specifically in the theory of large cardinals and Gödels constructible universe. In February 2003 the American Mathematical Society awarded him the prestigious Steele Prize for his seminal research paper "The fine structure of the constructible hierarchy" (Annals of Mathematical Logic 4 (1972) 229-308).

1987-1989: Hao Wang
Hao Wang was born in Jinan, Shandong, in China in 1921 and died in New York in 1995. He received a BSc in mathematics from the National Southwestern Associated University in 1943 and an M.A. in philosophy from Qinghua University in 1945. He studied logic and philosophy at Harvard, where he received a PhD in 1948. Until 1956 he was an assistant professor in Harvard, with several leaves, among others to Paul Bernays in Zürich. In 1956 he became reader in the philosophy of mathematics in Oxford, and in 1961 he became professor of mathematical logic and applied mathematics in Harvard. From 1967 until his retirement in 1991 he was a professor at the Rockefeller University. Hao Wang has made numerous research contributions to mathematical logic and the philosophy of mathematics. Furthermore, he wrote extensively on the life and work of Kurt Gödel. His correspondence and numerous conversations with Gödel culminated in the books Reflections on Kurt Gödel'' (MIT Press, 1987) andA logical journey: From Gödel to philosophy'' (MIT Press, 1997).