Michał Horodecki

Prowadził warsztaty:

• WWW22 (2026): Gdzie w programach sens, gdzie logika
• WWW22 (2026): Zakodźmy sobie warsztaty
• WWW21 (2025): λ rachunek, czyli jak proste napisy mogą liczyć
• WWW20 (2024): Co umie policzyć komputer?
• WWW19 (2023): Napiszmy sobie Interpreter
• WWW18 (2022): Wprowadzenie do Teorii Mnogości

Cześć, jestem Michał :)

W latach 2021 - 2024 zrobiłem licencjat z Informatyki Analitycznej (teoretycznej) na UJ, a w tym roku kończę magisterkę na tym samym kierunku. Poza tym równolegle pracuję jako informatyk w Ocado.

Interesuję się ogólnie pojętym programowaniem, w ramach którego interesuję się również "meta" programowaniem, czyli projektowaniem i różnymi paradygmatami progrmowania.

W wolnym czasie uczę się japońskiego i jeżdżę na monocyklu, a odkąd Kasia mnie nauczyła to lubię czasem pograć w brydża.