

<pre>
!!Petr Hájek - Curriculum vitae

![Memorial page for Petr Hájek|http://www.ustavinformatiky.cz/petrhajek], Institute of Computer Science, Czech Academy of Sciences
\\
&quot;''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.''&quot;
\\ \\
----
\\ \\
__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


</pre>