Uwaga: ta strona jest nieaktualna, lepiej zajrzeć na Google Scholar lub DBLP.
2017: On the Computational Complexity of Gossip Protocols.
Joint work with Dominik Wojtczak
and Krzysztof Apt. IJCAI 2017.
2017: HyperRogue: Playing with Hyperbolic Geometry.
Joint work with Dorota Celińska-Kopczyńska and
Marek Čtrnáct.
Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture.
linkdetails
2015: Complexity of Problems of Commutative Grammars.
Logical Methods in Computer Science, Volume 11, Issue 1. A full version of the LICS paper.
(CoRR abs/1501.04245)
2015: Regular graphs and the spectra of two-variable logic with counting.
Joint work with Tony Tan. SIAM Journal on Computing (SICOMP),
44(3):786-818, 2015.
(CoRR abs/1304.0829)
2015: On the variable hierarchy of first-order spectra.
Joint work with Tony Tan. ACM Transactions on Computational Logic (ACM TOCL).
16(2):17, 2015.
(CoRR abs/1403.2225)
2015: Lower bound for Dickson's Lemma in a special case. Joint work with Wojciech Czerwiński and Tomasz Gogacz. Fundamenta Informaticae 140(2), 123-127.
2014: A simple indeterminate infinite game.
Joint work with Damian Niwiński.
Logic, Computation, Hierarchies 4, 205.
(Just what the title says.)
2013: Definability of linear equation systems over groups and rings.
Joint work with Anuj Dawar, Erich Graedel, Bjarki Holm, and Wied Pakusa.
A full version of the CSL paper.
Logical Methods in Computer Science 9 (4:12), 2013.
On Tractable Parameterizations of Graph Isomorphism.
Joint work with Adam Bouland and Anuj Dawar.
IPEC 2012, pp 218-230.PDF
2012: Definability of linear equation systems over groups and rings.
Joint work with Anuj Dawar, Erich Graedel, Bjarki Holm, and Wied Pakusa.
CSL 2012, pp 213-227.PDF
2012: Ramsey's Theorem for Colors from a Metric Space. Joint with Mikołaj Bojańczyk and Szymon Toruńczyk.
A short note. Semigroup Forum. August 2012, Volume 85, Issue 1, pp 182-184.
PDF
2011: Trees in trees: is the incomplete information about a tree consistent?
M. Bezem (Ed.), CSL 2011, LIPIcs vol. 12, pages 367--380.
CSL'2011. PDF
2010: Complexity of Problems for Commutative Grammars.
Preprint at arXiv:1003.4105v1.
Accepted for LICS'2010 after merging with Anthony Widjaja To's paper.
2010: Complexity of Problems for Parikh Images of Automata.
Joint with Anthony Widjaja To.
LICS '2010, pages 80--89,
2010 25th Annual IEEE Symposium on Logic in Computer Science. PDF
2007: Omega-Regular Half-positional winning conditions. J. Duparc and T.A. Henzinger (Eds.), CSL 2007, LNCS 4646, Springer 2007, pages 41--53.
PDF
2006: Half-positional determinacy of infinite games. M. Bugliesi et al. (Eds.), ICALP 2006, Part II, LNCS 4052, Springer 2006,
pages 336--347. PDF
Prace zgłoszone/przygotowywane do złożenia/w trakcie:
2016: Bounded degree and planar spectra.
Joint work with Anuj Dawar.
Submitted to a journal. slides, arXiv
2010: Omega-Regular Winning Conditions and Memory Bounds. Submitted to a journal.
Logical properties of random graphs from small addable classes.
Joint work with Anuj Dawar.
arXiv
CFI construction for tournaments.
Joint work with Anuj Dawar.
Abstract:
The CFI construction constructs a family of graphs which are not distinguished
by a formula of C^k logic. In this paper we present how this construction
can be used on tournaments.
Work in progress: Individual vs. collective thought - the "islands" experiment.
Joint work with Dorota Celińska-Kopczyńska
and Tomasz Kopczewski.
Prace dyplomowe
1999-2004: Konstrukcja i własności ridgeletów. Praca magisterska (na matematyce).
DVIPDF
1999-2005: Półpozycyjnie zdeterminowane warunki wygrywające w grach nieskończonych. Praca magisterska (na informatyce).
2005-2009: Half-positional determinacy of infinite games.
Praca doktorska
pod kierunkiem
Damiana Niwińskiego.
PSPDF
zawiera wyniki z ICALP '06 i CSL '07, a także kilka innych
jeszcze nieopublikowanych wyników.
W poszukiwaniu wyzwań. Wybór zadań z konkursów programistycznych Uniwersytetu Warszawskiego. Książka, 2012. Rozwiązania zadań "Pytania" i "Rytuał".
W poszukiwaniu wyzwań II. Zadania z Akademickich Mistrzostw Polski w Programowaniu Zespołowym. Książka, 2015. Rozwiązania zadań "Automat", "Iloraz inteligencji" i "Kocyki".
stworzone zadania na konkursy programistyczne: patrz tutaj
Pozostała działalność organizacyjna:
udział w organizacji konkursów programistycznych: patrz tutaj
2008 -
pomoc przy organizacji sympozjum projektu GAMES w Warszawie
Wygłoszone referaty:
Principles of Programming Languages, 2017, Paryż, 19 stycznia 2017 \\ LOIS: Syntax and semantics
Highlights of Logic, Games, and Automata, 2016, Bruksela, 8 września 2016 \\ Invisible pushdown languages
Highlights of Logic, Games, and Automata, 2016, Bruksela, 8 września 2016 \\ Programming with atoms (tool demonstration) (invited session)
konferencja LICS '16, Nowy Jork, 9-16 lipca 2010 \\ Invisible pushdown languages
Forum Informatyki Teoretycznej 2016, Warszawa, 5 lutego \\ Invisible pushdown languages
Highlights of Logic, Games, and Automata, 2015, Praga, ? września \\ First-order definable Constraint Satisfaction Problems
Highlights of Logic, Games, and Automata, 2014, Paris, 1-6 września \\ LOIS: a Practical C++ Library for Handling Infinite Setsslides
Warsztaty Logiczne 2014, Białka Tatrzańska, 3-10 sierpnia \\ Hierarchia wielomianowa (i nie tylko)
Forum Informatyki Teoretycznej 2014, Jarnołtówek, 25-27 kwietnia Apr 25-27, 2014 \\ LOIS: zbiory nieskończone w praktyce
Feb 11, 2014, Aachen, Germany (during a research visit) \\ Zero-one laws and random planar graphs
Warsztaty Logiczne 2013, Łowicz, 23-29 września \\ Gry a parametry grafów
Highlights of Logic, Games, and Automata, 2013, Paris, ? września \\ Regular graphs and the spectra of two-variable logic with counting
Forum Informatyki Teoretycznej 2013, Toruń, 11-14 kwietnia Apr 11-14, 2013 \\ Spektra logiczne struktur o ograniczonym stopniu i planarnych
Szkoła Zimowa Logiki i Kognitywistyki 2013, Łowicz, 3-6 stycznia \\ Aksjomat determinacji a zbiory mierzalne
Warsztaty Logiczne 2012, Łowicz, 24-30 września \\ Spektra dla grafów planarnych i o ograniczonym stopniu oraz Definiowalność układów równań liniowych nad grupami i pierścieniami
Workshop Finite Model Theory 2012, Les Houches, 14-18 maja 2012 \\ Bounded degree and planar spectra (joint work with Anuj Dawar)
International Workshop Logical Approaches to Barriers in Computing and Complexity II, Cambridge, 26-30 marca 2012 \\ Bounded degree and planar spectra (joint work with Anuj Dawar)
konferencja CSL '11, , 12-15 września 2011 \\ Trees in trees: is the incomplete information about a tree consistent?
konferencja LICS '10, Edynburg, 9-16 lipca 2010 \\ Complexity of Problems for Parikh Images of Automata (joint work with Anthony Widjaja To)
Forum Informatyki Teoretycznej '10, Zakopane, 22-25 kwietnia 2010 \\ Złożoność problemów dla gramatyk przemiennych
International Workshop Logical Approaches to Barriers in Computing and Complexity, Greifswald, 17-20 lutego 2010 \\ Complexity of Problems of Commutative Grammars
Warsztaty Logiczne 2009, Poronin, 29 czerwca-5 lipca 2009 \\ PSPACE-zupełność problemu tautologicznosci w pewnych logikach
obrona pracy doktorskiej, Warszawa, 8 kwietnia 2009 slajdy (PDF)