Petr Hájek

Timeline

1. 1962

   Postgraduate at the Institute of Mathematics

   He graduates from the Faculty of Mathematics and Physics of Charles University in 1962 and becomes a postgraduate student at the Institute of Mathematics of the Czechoslovak Academy of Sciences.

2. 1966

   The GUHA method

   A 1966 paper in Computing by Hájek, Havel and Chytil, titled "The GUHA-Method of Automatic Hypotheses Determination", introduces GUHA. It is a general data mining method developed by Hájek and colleagues.

3. 1972–1978

   Semisets and Mechanizing Hypothesis Formation

   In 1972, he and Petr Vopěnka publish The Theory of Semisets. In 1978, he and Tomáš Havránek publish Mechanizing Hypothesis Formation with Springer-Verlag.

4. 1992–2000

   Directing the Institute of Computer Science

   From March 1992 to February 2000, he is director of the Institute of Computer Science of the Academy of Sciences of the Czech Republic. In 1992, he co-authors Processing Uncertain Information in Expert Systems with Havránek and Jiroušek, published by CRC Press, and in 1997 he becomes a professor at Charles University.

5. 1995–2015

   Leading logic societies

   From 1995 to 1999, he is first vice-president of the Division of Logic, Methodology and Philosophy of Science of the International Union for History and Philosophy of Science. He is president of the Kurt Gödel Society from 1999 to 2003 and again from 2009 to 2015.

6. 1998

   Metamathematics of Fuzzy Logic

   Kluwer publishes his monograph Metamathematics of Fuzzy Logic in 1998. His work helps establish the mathematical fundamentals of fuzzy logic, and his basic fuzzy logic BL is the logic of all continuous t-norms.

7. 2000–2002

   Academia Europaea and the Bolzano medal

   In 2000, he is elected to the Informatics section of Academia Europaea and receives the Bolzano medal from the Academy of Sciences. In 2002, he receives a medal of the Minister of Education of the Czech Republic.

8. 2016

   Seven books and 350 papers

   He dies in 2016 as an emeritus scholar of the Academy of Sciences. He is the (co-)author of seven books and more than 350 research papers, textbooks and popular articles.