Reto Achermann

Reto Achermann is an Assistant Professor in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Systopia Lab. His research focuses on resilient and efficient systems at the intersection of operating systems, applied formal methods, and hardware models. He holds a PhD from ETH Zurich and previously served as a Postdoctoral Research Fellow at UBC under Prof. Margo Seltzer.

Education: PhD in Computer Science from ETH Zurich (advised by Prof. Timothy Roscoe), MSc in Computer Science from ETH Zurich.

Research interests include memory and storage systems, formal verification, device drivers, and software synthesis. He contributed to the Barrelfish OS project, particularly in memory management and hardware abstractions.

Key achievements: Won distinguished artifact awards at ASPLOS'25 and SOSP'24 for 'Velosiraptor' and 'Verus'. Received UBC's Faculty of Science Excellence in Service Award for educational contributions. Served on program committees for ASPLOS, PLDI, EuroSys, and USENIX ATC.

Current roles: Actively supervises graduate students in thesis-based MSc/PhD programs. Engages in interdisciplinary research and collaborates on grants. Previously advised undergraduate research projects and directed studies.