Petr Hájek - Curriculum vitae#
Memorial page for Petr Hájek
, Institute of Computer Science, Czech Academy of Sciences#
"Petr Hájek was a renowned Czech mathematical logician with a professional record that spans more than half a century. His work leaves a permanent imprint in all of his research areas: set theory, arithmetic, fuzzy logic and reasoning under uncertainty, and information retrieval; some of his results enjoyed successful applications. Throughout his career, he worked at the Czech Academy of Sciences, starting as a postgraduate student at the Institute of Mathematics in 1962. During 1992-2000, he served as director of the Institute of Computer Science; he eventually became an emeritus scholar of the Academy."
Study and professional preparation:
Graduated from Faculty of Mathematics and Physics of Charles University (CU) in 1962, thesis on algebra, post-graduate student at the Institute of Mathematics of the Czechoslovak Academy of Sciences (CSAS), later Academy of sciences of the Czech Republic (AS CR; (mathematical logic, PhD. thesis on set theory); CSc. in 1965; DrSc. 1990; Assist. prof. (CU) 1993; Honorarprofessor of the Technical University in Vienna from 1994. Professor (CU) 1997.
Employment:
Institute of Mathematics CSAS/AS CR to 1992 (last as head scientific worker), from March 1992 to the end of February 2000, Director of the Institute of Computer Science AS CR; now senior scientific worker there.
Domain of expertise:
Mathematical logic and logical foundations of computer science. Present topic of main activity; mathematical (deductive) fuzzy logic as a many-valued logic with a comparative notion of truth. Over 200 scientific papers (see selection below).
Membership and positions in international organizations and societies:
- Member of the Asssociation for Symbolic Logic since 1993 (twice member of its council)
- 1995-1999 First Vice-President of the International Union for History and Philosophy of Science, Division Logic, Methodology and Philosophy of Science.
- 1999-2003 President of the Kurt Godel Society.
- He is or was a member of the editorial boards of the journals Czechoslovak Mathematical Journal, Studia Logica, Archive for Mathematical Logic, Soft Computing, Fundamenta Informaticae.
Honors:
- Medal of the Minister of Education of the Czech republic 2002
- Medal „De scientiae et humanitate optime meritis“ (from the Academy of Sciences of the Czech Republic) 2006
- Medal from the President of the Czech Republic 2006
