Daniel Danielski
PhD student in mathemathics (Geometric Group Theory)

---

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-author: Jacek Świątkowski) A note on the complete characterizations of hyperbolic Coxeter groups with Sierpiński curve boundary and with Menger curve boundary. Preprint. [arXiv].

---

Dydaktyka
• Geometria elementarna 1, ćwiczenia, wt. 12:15--14:00
• Kombinatoryka (R), ćwiczenia, śr. 12:15--14:00, [Strona wykładu]
• Matematyka obliczeniowa, laboratorium, czw. 12:15--13:45, [Strona wykładu]
• Programowanie 1 (C++), laboratorium, śr. 10:15--11:45, [Strona wykładu (z 2021/22, na razie)]
• Konsultacje: śr. 14:20--16:20 + na zamówienie