Reto Achermann
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.
12 years of coding experience
6 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 (57)
low-level10
filesystem9
verification9
sparse9
x86-649
kernel9
trust9
unikernel8
rust8
operating-system8
application8
replication8
high-performance8
security8
qemu8
Programming languages (5)
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
mitosis-project/mitosis-asplos20-artifact
Nov 2019 - Apr 2020
Contributions:61 commits, 46 pushes, 1 branch in 4 months
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.