Působil jako matematik, spoluzakládal jednu z prvních kateder Univerzity Karlovy zaměřenézaměřenou na informatiku. Byl vedoucím [[Katedra teoretické informatiky a matematické logiky MFF UK|Katedry teoretické informatiky a matematické logiky]] [[Matematicko-fyzikální fakulta Univerzity Karlovy|MFF UK]]. Učil [[matematická logika|matematickou logiku]], zabýval se přirozeným a umělým myšlením. Byl autorem či spoluautorem pěti desítek původních vědeckých prací, řady učebnic logiky a [[umělá inteligence|umělé inteligence]], také spoluautorem (spolu s [[Bohuslav Balcar|Bohuslavem Balcarem]]) významné vysokoškolské učebnice ''[[Teorie množin]]''. Napsal dvě kapitoly do knihy ''Handbook of Boolean Algebras'' (Amsterdam, 1989).<ref>{{Citace elektronické monografie
