Swoje prace publikował w takich czasopismach jak m.in. „Logical Methods in Computer Science", „Journal of the ACM", „Theory of Computing Systems" oraz w serii „Lecture Notes in Computer Science".
W 2006 otrzymał Nagrodę im. Witolda Lipskiego. Rok później (2007) został zaś wyróżniony Nagrodą im. Kazimierza Kuratowskiego, najbardziej prestiżową polską nagrodą dla młodych matematyków. W 2010 jako pierwszy został uhonorowany Presburger Award, nagrodą przyznaną przez European Association for Theoretical Computer Science. Laureat Nagrody Narodowego Centrum Nauki 2016.
Członek Polskiego Towarzystwa Matematycznego oraz członek Rady Narodowego Centrum Nauki w kadencji 2016-2018.
Przypisy
Linki zewnętrzne
Kategoria:Polscy matematycy XXI wieku Kategoria:Polscy informatycy Kategoria:Polscy logicy XXI wieku Kategoria:Członkowie Polskiego Towarzystwa Matematycznego Kategoria:Urodzeni w 1977 Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Kategoria:Laureaci Nagrody im. Kazimierza Kuratowskiego Kategoria:Laureaci Nagrody Narodowego Centrum Nauki