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

Imprint Privacy policy « This page (revision-4) was last updated on Friday, 20. January 2017, 10:30 by Kaiser Dana
  • operated by