2025 - present
Vysoké učení technické v Brně - Fakulta informačních technologií
Bachelor's programme in Information Technology, currently in 2nd semester.
DRAWING NO. 001 / PORTFOLIO
Michal Řezníček
CS student · developer · hockey player
scroll ↓About
I'm a Computer Science student at FIT BUT in Brno, currently in my second semester. I grew up in Zlín, where I also played hockey, and moved to Brno for university.
I didn't really do any programming in high school, I had no idea what I wanted to do back then. I picked it up here at FIT, mostly through C, and I like figuring out how things actually work under the hood. That's also why I switched to Linux a while back.
Outside of school I play for the VUT Cavaliers in the university league, so hockey has stayed a pretty constant thing for me even after moving. When I'm not at school or on the ice, I'm usually playing a good story driven game.
- BORN
- 21 Mar 2006, Zlín
- LOCATION
- Brno, CZ
- STATUS
- Student
- FOCUS
- IT
Education
-
-
2021 - 2025
Gymnázium a Jazyková škola s právem státní jazykové zkoušky Zlín
General gymnasium with a strong focus on foreign languages. Graduated in 2025.
-
2012 - 2021
ZŠ Emila Zátopka Zlín
Standard nine-year primary school where I started playing hockey.
Skills
Most of what I know comes from coursework - low-level C in IZP, IJC and IOS, formal logic in IZLO, and HTML and CSS from ITW.
Languages
C is my main one - picked it up here in my first semester. HTML and CSS I've only been at for a little while, and I've used Shell on a few school projects.
Tools
VS Code feels simple and works with pretty much anything. I enjoy using Git and like having all my projects in one place on GitHub.
Systems
I switched to Linux because it's easier for coding, looks way better than Windows and has way fewer bugs. Fedora just looked the best out of the distros I tried.
Projects
PROJECT NO. 001
IZP 1 - Keyfilter
Simulates a car navigation's virtual keyboard. Given a list of addresses and a typed prefix, it prints either the matching address or the next allowed keys.
view source →PROJECT NO. 002
IZP 2 - Flow Clustering
Groups network flows into clusters using single-linkage clustering, with a weighted distance over four flow features.
view source →PROJECT NO. 003
IJC 1 - Primes & Comment Remover
Two C programs - a Sieve of Eratosthenes finding primes via a custom bit-array module, and a C-comment remover written as a finite state machine.
view source →PROJECT NO. 004
IJC 2 - Tac & Word Counter
A C clone of the POSIX tac utility, and a C rewrite of a simple C++ word-frequency
program built around a custom hash-table library (static and dynamic variants).
PROJECT NO. 005
IOS 1 - Wana Log Analyzer
A POSIX shell script that analyzes web server logs - filters records by date, IP or URI and prints lists or ASCII histograms.
view source →PROJECT NO. 006
IOS 2 - Roller Coaster
Solves the "Roller Coaster" synchronization problem from The Little Book of Semaphores in C, using processes, shared memory and POSIX semaphores to coordinate a dispatcher, carts and visitors.
view source →PROJECT NO. 007
IZLO - Deadlock Detection
Encodes operating-system deadlock conditions in first-order predicate logic using SMT-LIB and checks them with the Z3 solver.
view source →Interests
Hockey
I picked up hockey as a kid back in Zlín and never really stopped. I went through pretty much every age category at the local club, from the youngest kids' teams all the way up through juniors. It was a big part of growing up. When I moved to Brno for university, I didn't want to leave the sport behind, so I joined the VUT Cavaliers and now play in Brno, in the university league. It's a different vibe than the youth leagues back home, but it's a great way to keep hockey in my life while studying.
- POSITION
- Defenseman
- CLUB
- VUT Cavaliers
- SINCE
- 2012
- NUMBER
- 21
Gaming
Gaming is one of the things I enjoy doing in my free time. I'm into long, story-driven RPGs. The Witcher 3 was the one that got me into the genre, and Kingdom Come: Deliverance and Cyberpunk 2077 have taken up plenty of my time since. It's also a great way to hang out with friends, playing something together online is a good way to catch up.
- PLATFORM
- PC / Steam
- GENRES
- Story-driven, RPG
- FAVOURITES
- • Cyberpunk 2077
• The Witcher 3
• Hollow Knight
Movies & Shows
Movies and shows are my go-to way to chill in the evening. I'm mostly into thrillers and sci-fi - stuff that makes you think and sticks with you for a while. Dark blew my mind, Interstellar is one I rewatch all the time, and Attack on Titan honestly hits harder than most live-action stuff out there.
- GENRES
- Thriller, Psychological
- FAVOURITES
- • Attack on Titan
• Dark
• Interstellar - LATEST
- Invincible