• 🚀 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 atIT4Innovations, where I did aPhD 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 theRust toolchain,Rust compiler benchmark suite orIntelliJ 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 givetalks...
  • Writing Python like it's Rust (EuroPython 2024) 🇺🇸
  • HyperQueue: distributed computations on HPCe-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 programmingstuff

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)
• Rust crates
  • cargo-wizard Cargo subcommand for optimizing Cargo project configuration
  • cargo-pgo Cargo subcommand for optimizing Rust code with PGO andBOLT
  • 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

PinnedLoading

1. hardware-effectshardware-effectsPublic

   Demonstration of various hardware effects.

   C++ 2.9k 164

2. cargo-pgocargo-pgoPublic

   Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.

   Rust 708 18

3. It4innovations/hyperqueueIt4innovations/hyperqueuePublic

   User-friendly Scheduler for sub-node tasks for HPC systems

   Rust 490 40

4. cargo-wizardcargo-wizardPublic

   Cargo subcommand for configuring Cargo projects for best performance.

   Rust 922 8

5. davisdavisPublic

   Assembly debugger written in Angular 2.

   TypeScript 67 12

6. rust-delegaterust-delegatePublic

   Rust method delegation with less boilerplate

   Rust 502 23