Jego głównym wynikiem jest system Mizar (autorstwa Andrzeja Trybulca, Instytut Matematyki UwB); zyskał on do dziś wybitną pozycję międzynarodową. 1991: założenie, wraz z żoną, Fundacji na rzecz Informatyki, Logiki i Matematyki prowadzącej działalność statutową w zakresie badań i wydawnictw naukowych. 1992–1994: zorganizowanie i kierownictwo wspieranego przez KBN projektu Elektroniczny system informacyjny w zakresie filozofii w Polsce. 1996: inicjatywa i objęcie funkcji pierwszego głównego wykonawcy wspieranego grantem KBN (Zespół Automatyki, Elektroniki etc.) projektu (1997–1999) Badania nad naturalną i sztuczną inteligencją za pomocą automatyzacji rozumowań. 1998: utworzenie domeny internetowej calculemus.org obejmującej m.in. Mathesis Universalis – periodyk poświęcony wkładowi logiki i informatyki w teorię umysłu etc. 1997–2003: organizacja i kierownictwo corocznych „Warsztatów Logiki, Informatyki i Filozofii Nauki” poświęconych zagadnieniom rozstrzygalności, w szczególności pod kątem zastosowań w naukach społecznych. 2003–2006: Kierownictwo projektu badawczego Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych. Zjazdy filozoficzne 1997, 2004, 2008, 2012 – organizacja i kierownictwo sekcji tematycznych i paneli (logika, metafilozofia, racjonalizm). 2010–2011: Utworzenie i prowadzenie blogów