Michał Horodecki

Prowadził warsztaty:

• WWW18 (2022): Wprowadzenie do Teorii Mnogości
• WWW19 (2023): Napiszmy sobie Interpreter
• WWW20 (2024): Co umie policzyć komputer?
• WWW21 (2025): λ rachunek, czyli jak proste napisy mogą liczyć

Cześć, jestem Michał :)

Studiuję sobie na studiach magisterskich informatykę analityczną na UJ, 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.