english
Zainteresowania badawcze
- (Quantified) Constraint Satisfaction Problems and related problems in non-monotonic reasoning (e.g., abduction, circumscription)
- Computational Complexity
- Universal Algebra and Model Theory mainly for finite and omega-categorical structures
Krótkie CV
| 1999-2004 | magister informatyki | Uniwersytet Wrocławski | Wrocław, Polska |
| 2004-2009 | doktor nauk matematycznych w zakresie informatyki | Uniwersytet Wrocławski | Wrocław, Polska |
| 2011 | Visiting Researcher (3 miesiące) | École polytechnique | Palaiseau, Francja |
| 2012 - 2014 | Postdoc (2 lata 11 miesięcy) | Linköpings universitet | Linköping, Szwecja |
| 2015 | Postdoc (9 miesięcy) | École polytechnique | Palaiseau, Francja |
- Strona Główna
- Katedra Algorytmiki
- Katedra Podstaw Informatyki
- Wydział Matematyki i Informatyki
- Kontakt
- Satori
- Reports on Mathematical Logic
- Forum TCS
- UsosWeb
- Informatyka na szlaku
- Galeria
- Ludzie
- Bartłomiej Bosek
- Marcin Briański
- Iwona Cieślik
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Xuân La
- Agnieszka Łupińska
- Piotr Micek
- Jonathan Narboni
- Andrzej Pezarski
- Bartosz Podkanowicz
- Adam Polak
- Krzysztof Potępa
- Wojciech Szpankowski
- Maciej Ślusarek
- Jan Tułowiecki
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Byli współpracownicy