

Reto Achermann
Postdoctoral Resarch Fellow
Systopia Lab
Department of Computer Science
University of British Columbia
Professional Experience
December 2020 - present
Postdoctoral Research Fellow
University of British Columbia - Systopia Lab
Vancouver (BC), Canada
Reference: Prof. Margo Seltzer, PhD
Responsibilities and Projects
- Research in the intersection of operating systems, verification and software synthesis.
- Mentored several students on their research projects and co-advised two students on their Honours thesis.
- Teaching: Lecturer for CS508 - Graduate Operating Systems and CS436A - Operating Systems Design and Implementation
November 2014 - November 2020
Research Assistant
ETH Zurich - Systems Group
Zurich, Switzerland
Reference: Prof. Timothy Roscoe, PhD
Responsibilities and Projects
- Research in operating systems and hardware specification
- Mentoring multiple students in their Master's and Bachelor's thesis projects.
- Teaching: Leading tutorials / labs as a teaching assistant for multiple courses.
June 2018 - September 2018
Intern VMware Research Group
VMware, Inc. - VMware Research Group
Palo Alto (CA), United States
Reference: Jayneel Gandhi, PhD
Responsibilities and Projects
- Project: Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines.
- Design and implementation of page-table replication in the Linux kernel.
September 2015 - December 2015
Intern Systems Software
Hewlett-Packard Labs - Systems Software Research Group
Palo Alto (CA), United States
Reference: Dejan S. Milojicic, PhD
Responsibilities and Projects
- Project: Consensus protocols and capabilities for the Machine.
June 2009 - November 2020
Staff Officer (Captain)
Swiss Armed Forces - Radio transmission and IT services.
Switzerland
Reference:
Responsibilities and Projects
- Planning and deployment of heterogeneous communication systems, IT systems and networks.
- Leading education modules and training exercises with up to 350 people.
Service
- ACM SIGOPS EuroSys 2025 (EuroSys '25): Program Committee
- ACM SIGOPS EuroSys 2024 (EuroSys '24): Program Committee
- ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '24): Program Committee
- ACM Student Research Competition 2023 (ACM SRC '23): Program Committee
- Usenix Annual Technical Conference 2023 (ATC '23): Program Committee
- ACM SIGOPS EuroSys 2023 (EuroSys '23): Program Committee
- ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '22 (ERC)): Program Committee
- Usenix Annual Technical Conference 2022 (ATC '22): Program Committee
- IEEE Internet Computing (IEEE Internet Computing): Reviewer
- Usenix Annual Technical Conference 2021 (ATC '21): Networking Co-chair
- USENIX Symposium on Operating Systems Design and Implementation 2021 (OSDI '21): Networking Co-chair
- Usenix Annual Technical Conference 2021 (ATC '21): Program Committee
- ACM Sigops EuroSys 2021 (EuroSys '21): Shadow Program Committee