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.