Background
Stepánek, Petr was born on January 24, 1943 in Pardubice, Czech Republic. Son of Otakar and Ludmila (Brabcová) Stepánek.
Stepánek, Petr was born on January 24, 1943 in Pardubice, Czech Republic. Son of Otakar and Ludmila (Brabcová) Stepánek.
Promovany matematik, Charles University, Prague, 1965. Doctor rerum naturalium, Charles University, Prague, 1968. Postgraduate, Charles University, Prague, 1973.
Doctor of Science in Logic, Charles University, Prague, 1991.
Assistant professor computer science Charles University, Prague, 1965-1987, associate professor, 1987-1998, professor, since 1998, member board grant agency, since 2008. Head Automated Reasoning Research Group, Charles University, since 2009.
Member Federal Assembly, Prague, 1992. Chairman District Organization Civic Democratic Party, Prague, 1993-1995. Member American Mathematics Society, Association Symbolic Logic, Association Logic Programming (honorary), Information Society (Czech forum 2000-2007).
Married Olga Buresová, December 19, 1970. Children: Katerina Barbora.