Daniel Danielski

Papers
• (co-author: Emanuel Kieroński) Unary Negation Fragment with equivalence relations has finite model property. LICS 2018 Proceedings, pp. 285–294. Extended and improved version: [arXiv].
• (co-author: Emanuel Kieroński) Finite satisfiability of Unary Negation Fragment with transitivity. MFCS 2019. Full version: [arXiv]. Presented also at Description Logic Workshop 2019.
• Right-angled Coxeter groups with Menger curve boundary. Bulletin of the London Mathematical Society, Volume 54, Issue 3, June 2022, pages 977–995. [BLMS][arXiv].
• (co-authors: Michael Kapovich, Jacek Świątkowski) Complete characterizations of hyperbolic Coxeter groups with Sierpiński curve boundary and with Menger curve boundary. Fundamenta Mathematicae, Volume 267, 2024, pages 117–128 [Fundamenta Mathematicae][arXiv].

• On boundaries of bicombable spaces. preprint [arXiv].

Dydaktyka
• Algebra liniowa 1 (SIAD), laboratorium, wt. 12:15–13:45
• Matematyka [Chemia medyczna], ćwiczenia, czw. 14:00–15:37
• Programowanie 2 (Python), laboratorium, śr. 15:15–16:45, [Strona wykładu]
• Teoria gier, ćwiczenia, wt. 14:15–16:00
Konsultacje: śr. 14:00–15:00, czw. 12:30–13:30 + na zamówienie