Petr Hájek

Born in Prague, he worked at the Institute of Computer Science at the Academy of Sciences of the Czech Republic and as a lecturer at the faculty of mathematics and physics at the Charles University in Prague and at the Faculty of Nuclear Sciences and Physical Engineering of the Czech Technical University in Prague.

Petr Hájek studied at the faculty of mathematics and physics of the Charles University in Prague.

[2] Influenced by Petr Vopěnka, he specialized in set theory and arithmetic, and later also in logic and artificial intelligence.

[3] He contributed to establishing the mathematical fundamentals of fuzzy logic.

[3] Following the Velvet Revolution, he was appointed a senior lecturer (1993) and a professor (1997).