- ๐ I'm a member of the Rust Leadership Council and the compiler and infrastructure teams. I spend a lot of time contributing to (usually Rust) open-source projects.
- โก I'm a researcher at IT4Innovations, where I did a PhD in High-performance computing.
- โญ 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 the following Rust teams and working groups:
- Leadership Council: making sure that Rust succeeds
- #t-infra: maintaining CI and various other Rust infrastructure in the Infra team
- #t-compiler: improving the Rust compiler and associated tooling
- #wg-compiler-performance: improving the performance of the Rust compiler
- #t-bootstrap: maintaining the Rust compiler bootstrap system
- #t-triagebot: maintaining the Rust triage and review bot
- #wg-parallel-rustc: parallelizing the Rust compiler
- #t-docker: helping maintain the Rust Docker images
- #t-bors: developing the bors merge bot
- #t-community-survey (co-lead): performing surveys to gain insight into the Rust ecosystem
- #t-mentorship (co-lead): leading mentorship programs, such as GSoC
- #wg-rustc-dev-guide: improving the Rust Compiler Development Guide
- ๐ I sometimes give talks...
- Writing Python like it's Rust (EuroPython 2024) ๐บ๐ธ
- HyperQueue: distributed computations on HPC e-INFRA conference 2024 ๐บ๐ธ
- Rust governance (Rust Prague meetup 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:
- ๐ฌ 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
- ๐ป Processor microarchitecture effects demonstrations (CPU, GPU)
- 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
- ๐ Debugging and profiling tools
- CUDA memory access visualiser (Master thesis ๐)
- GUI & stack visualiser for C/C++ debuggers (Bachelor thesis ๐)
- Web-based x86 assembler & debugger