🔭 I’m currently working on: finishing my master's in theoretical computer science
🌱 I’m currently learning: lots of discrete math
👯 I’m looking to collaborate on: privacy-preserving protocols using cool math
💬 Ask me about: cryptography, blockchain, and why Rust is superior
🌐 Personal Website for more info
📫 How to reach me: Signal, Twitter, LinkedIn
| Domain | Technologies & Expertise |
|---|---|
| Systems & Performance | Rust (main language) • Profiling & performance tuning • Memory-efficient algorithms |
| Mathematics | Graph theory • Cryptography • Probability theory • Complexity theory • Combinatorics |
| Prototyping | Python for scripting and data analysis |
| Environment | Proficient in Linux • Terminal-native • NixOS |
| Web3 | Smart contracts Solidity • Blockchain infrastructure • web3.js, foundry • zkSNARKs |
| Web2 | Touched some web stuff at hackathons, but not a pro |
- arkworks-rs - Contributing to efficient SNARK cryptographic programming library
- mobius_function_on_multipermutations - Exploring efficient computation of combinatorial structures
- simple_ec_arithmetic - Rust PoC for elliptic curve arithmetic implementations
- SWE - Performance optimization fork of Shallow Water Equations solver (TUM student project)
- sfg_gnn - Graph Neural Networks for computing state energy of magnetic models (Student Faculty Grant at Charles University)
- Joint Analysis & Lug Analysis - Stress analysis computations for Aeromobil airframe testing
recent hackathons:
- 🇩🇪 verifiable-benchmarks EigenLayer Hackerhouse Berlin 2025 - Verifiable inference for ML models using the TOPLOC scheme
- 🇨🇭 Cryptocaching BSA EPFL Privacy hackathon 🥉 - Blockchain-based geocaching alternative • 3rd place
- 🇨🇿 proofs-of-inference ETHGlobal Prague 2025 2x🥇 - Computing SNARK proofs for ML inference Showcase
- 🇩🇪 additive-ntt ZkHack Berlin 2025 - Optimizing NTT for Binius proof system
- 🇦🇷 wifi-radar ETHGlobal Buenos Aires 2025 - Webapp with on-chain integration for WiFi strength evaluation
I sometimes write about things:
- Ethereum Cryptographic Garden - User-friendly overview of Ethereum's cryptographic primitives
- PlonK Deconstructed Detailed description of the PlonK protocol
I use NixOS btw (my dots). Occasionally make music on SoundCloud.