YVES INEICHEN
cat <<EOF
TRIED TO MAKE COMPUTERS DO THINGS SINCE CHILDHOOD. LATELY: A COMPILER, IN RUST.
Passionate about distributed systems and system-level optimization — currently building and shipping production Rust. The challenge of squeezing performance out of complex systems never gets old.
01_PROFESSIONAL_EXPERIENCE
VERION
Co-founding Engineer
- Exploring hardware-accelerated EDA simulation in Rust.
SELF-EMPLOYED
Independent Engineer
- Built a high-performance async data ingestion pipeline in Rust with sqlx for a startup backend.
- Ongoing: a train-puzzle game built on Bevy ECS in Rust learning ECS scheduling and data-driven design.
PTC_INC
Principal Deep Learning Software Engineer
- Researched and implemented state-of-the-art computer vision architectures for classification, pose estimation, and pose refinement using TensorFlow and PyTorch. Introduced multi-GPU parallelism and quantization into production training.
- Optimized networks for on-device inference using LiteRT/CoreML and leading the team's software engineering practices.
SELF-EMPLOYED
Independent Engineer
- Developed a high-throughput network analytics pipeline as a proof-of-concept, focusing on real-time stream processing.
- Deepened deep learning theory and hands-on framework knowledge to stay current with rapidly evolving research.
IBM_RESEARCH
Postdoc and Research Staff Member
- Developed distributed randomized linear algebra algorithms in libskylark, scaling numerical ML workloads across large clusters using MPI and OpenMP.
- Built graph and text analytics pipelines for large-scale data processing.
02_EDUCATION_&_HONORS
PhD in Computer Science
ETH ZURICH | 2010 — 2013
"Parallel multi-objective optimization with applications to particle accelerator design"
Master's in Computer Science
ETH ZURICH | 2002 — 2008
Computational science with a minor in compiler design, focusing on parallel numerical simulations (HPC).
- [01]Gordon Bell Prize — "An Extreme-Scale Implicit Solver for Complex-PDEs: Highly Heterogeneous Flow in Earth's Mantle" (2015)
- [02]PRACE Award — "A Fast and Scalable Low Dimensional Solver for Charged Particle Dynamics in Large Particle Accelerators" (2012)
03_PROJECTS
AVE.RS
Async Rust backend using axum, implementing operational transformation (OT) for collaborative climbing gym management.
github.com/iff/ave.rsOSH-OXY
Simple fuzzy finder TUI to search shell history, building on ratatui and the skim fuzzy matcher algorithm.
github.com/iff/osh-oxyNIHILISTIC-NVIM
My cosy neovim configuration with lots of customizations for a comfortable development environment.
github.com/iff/nihilistic-nvimFLAKERS
Turns Nix flake lock update commits into human-readable markdown changelogs with compare links, designed to run as a step in GitHub Actions workflows.
github.com/iff/flakers04_BEYOND_CODE
Co-founded a coffee roastery — still experimenting with coffee.
Iterating on my split-keyboard layout (Moonlander and Voyager).
Bouldering, sport-climbing, photography, and reading.