Prowadzi opiekę promotorską w szkole doktorskiej Uniwersytetu Warszawskiego. Pod jego kierunkiem stopień doktora nauk matematycznych uzyskała w 2025 Katarzyna W. Kowalik, autorka rozprawy Siła logiczna zasad ramseyowskich nad słabą teorią bazową. Był członkiem komitetu organizacyjnego Logic Colloquium 2021, europejskiego zjazdu letniego Association for Symbolic Logic w Poznaniu, a wspólnie z Mateuszem Łełykiem i Konradem Zdanowskim współorganizuje wydziałowe seminarium z logiki matematycznej.
Wyróżnienia 2006 – E.W. Beth Dissertation Prize, przyznawana przez Stowarzyszenie na rzecz Logiki, Języka i Informacji (FoLLI), za rozprawę doktorską Truth Definitions and Higher Order Logics in Finite Models.
Wybrane publikacje
Przypisy
Kategoria:Polscy matematycy XXI wieku Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Urodzeni w 1978 Kategoria:Absolwenci Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Polscy logicy XXI wieku