Petr Štěpánek

Petr Štěpánek je vedoucím katedry teoretické informatiky a matematické logiky MFF UK. Jeho hlavním zájmem je studium matematické logiky, přirozeného a umělého myšlení. Je autorem či spoluautorem více než 50 původních prací, autorem dvou kapitol v Handbook of Boolean Algebras (1989) a spoluautorem řady učebnic věnovaných matematické logice, logickému programování a umělé inteligenci. K nejvýznamnějším z nich patří publikace Teorie množin, kterou v roce 1986 vydal spolu s B. Balcarem. V roce 1992 byl poslancem Sněmovny národů Federálního shromáždění.

Literatura:

1. Šolcová, A.: Šedesátiny profesora Petra Štěpánka. Pokroky matematiky, fyziky a astronomie. 48 (2003), str. 77.

Autor: Pavel Šišma