- 🚀 I'm a member of the Rust Leadership Council and the compiler, infrastructure and funding teams. I spend a lot of time contributing to (usually Rust) open-source projects.
- ⚡ I did my PhD in High-performance computing at the IT4Innovations supercomputing center.
- ⭐ I enjoy programming in Rust
, Python 🐍, Kotlin, and TypeScript. Sometimes I also use C, C++, Java, Javascript or PHP.
- 🏃♂️ I have participated in ACM SIGMOD programming contests (🥈2019, 🥈2018, 2017, 2016).
- 🤝 I love contributing to various open source projects, such as the Rust toolchain, Rust compiler benchmark suite or IntelliJ Rust plugin. I am a proud member of several Rust Project teams.
- 🙊 I sometimes give talks...
- Rewriting bors (RustWeek 2026) 🇺🇸
- Tips for better (Rust) tests (MeetUpdate 2026) 🇨🇿
- Writing Python like it's Rust (EuroPython 2024) 🇺🇸
- HyperQueue: distributed computations on HPC e-INFRA conference 2024 🇺🇸
- What can Rust offer you (TechMeetup 2023) 🇨🇿
- CPU design microarchitecture implications (Avast C++ Meetup 2019, Meeting C++ 2019) 🇺🇸
- 🎓 ...teach...
- Online interactive book about the C Programming language 🇨🇿
- Rust university course (contains materials and recordings) 🇺🇸
- Machine learning course (contains materials and recordings) 🇨🇿
- 📓 ...or write about programming stuff
Apart from that, I work(ed) on various projects:
- cargo-wizard Cargo subcommand for optimizing Cargo project configuration
- cargo-pgo Cargo subcommand for optimizing Rust code with PGO and BOLT
- cargo-remark Cargo subcommand for examining LLVM optimization remarks generated by Rust programs
- rust-delegate Crate for delegating function implementations to struct fields
- 💻 Processor microarchitecture effects demonstrations (CPU, GPU)
- 🔬 Research:
- HyperQueue: user-friendly and scalable job scheduler for HPC clusters
- RSDS: Dask server reimplemented in Rust
- Estee: simulator for task-based workflow schedulers
- Snailwatch: continuous performance monitoring service
- 🔍 Debugging and profiling tools
- CUDA memory access visualiser (Master thesis 🎓)
- GUI & stack visualiser for C/C++ debuggers (Bachelor thesis 🎓)
- Web-based x86 assembler & debugger