Reto Achermann
Assistenzprofessor at Technische Universität München
Munich, Bavaria, Germany
Summary
🤩
Rockstar🎓
Top SchoolReto Achermann is an academic systems builder and assistant professor with 12 years of experience designing and verifying distributed, heterogeneous, and shared‑memory systems. Trained at ETH Zurich (PhD, MSc, BSc), he progressed from systems research roles at HPE and VMware to postdoctoral and faculty appointments at UBC and TUM, blending rigorous formal verification with practical operating‑systems and consensus research. His work spans building dependable distributed protocols and reasoning about concurrency in real hardware-software stacks, often bridging theory and implementation. Based in Munich, he combines deep technical breadth with an educator’s focus, mentoring the next generation of systems researchers while continuing hands‑on exploration of heterogeneous architectures. An uncommon strength is his sustained engagement across industry research and top academic labs, enabling work that is both experimentally grounded and formally precise.
13 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at ETH Zürich
German, English
Stackoverflow
61reputation
115reached
1answer
1question
Github Skills (46)
kernel10
x86-6410
filesystem9
replication9
rust9
cpp8
decision-tree8
operating-system8
driver8
qemu7
benchmark7
security7
machine-learning7
stress-testing7
memcached7
Programming languages (6)
Github contributions (5)
achreto/arm-fastmodels-boot
Apr 2020 - Dec 2024
A simple, helloworld boot application for the Arm FastModels simulator.
Contributions:3 PRs, 19 pushes, 3 branches in 4 years 8 months
achreto/codegen-rs
Aug 2021 - Dec 2024
A Rust library providing a builder API to generate Rust code - fork of https://github.com/carllerche/codegen
Contributions:1 PR, 11 pushes in 3 years 4 months
apirust-librarycodegenrustbuilder
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.