

Reto Achermann
Assistant Professor
Systopia Lab
Department of Computer Science
University of British Columbia
Reto Achermann
Supervised and Mentored Students
Current Students
I'm excited to be able to supervise or co-supervise the following students.Undergraduate Students
-
Jay Tan.
NSERC USRA on "Scaling and Metrics Collection in a Serverless Simulator".
University of British Columbia. 2025/05–present. -
Han Kim.
NSERC USRA on "Scheduling and Workload Generation in a Serverless Simulator".
University of British Columbia. 2025/05–present. -
Kuter Bora.
WLIURA on "Verified Memory Allocator for Compartmentalized Software".
University of British Columbia. 2025/05–present.
Past Supervised Students
I'm honored that I had the opportunity to supervise and co-supervise oustanding students in the past.
Undergraduate Students
-
Tony Zhang
Directed Studies on "Using Lingua-Franca to model Driver-Device Interactions".
University of British Columbia. 2025/01–2025/04. -
Kevin Liu
Directed Studies on "Verification of SQLite's Page Cache".
University of British Columbia. 2025/01–2025/04. -
Phillip Dumitru
Honours Thesis on "Exploring Formal Verification Tools to Reason About Operating System Security".
University of British Columbia. 2023/09–2024/04. Co-supervised with Alexander Summers. -
Ryan Mehri
Directed Studies on "Encoding memory models for address translation in an SMT solver".
University of British Columbia. 2023/01–2023/08. Co-supervised with Margo Seltzer. -
(name withheld)
Honours Thesis on "Profiling execution of virtual machines".
University of British Columbia. 2022/09–2023/04. Co-supervised with Margo Seltzer.
Mentored Students
In the past I was able to work with and mentor students in various capacities, for their thesis work, research projects, or internships. Mentored students were not formally supervised by me, but I was their main point of contact and provided to provide guidance and support for their projects.
Master Students
-
Joel Busch
Master on "Detailed Simulation of Enzian's Cache Coherence Protocol".
ETH Zurich. 2020/04–2020/10. -
Jakob Meier
Master on "Tools for Cache Coherence Protocol Interoperability".
ETH Zurich. 2018/09–2019/03. -
Nora Hossle
Master on "Multiple Address Spaces in a Distributed Capability System".
ETH Zurich. 2018/03–2019/09. -
Daniel Schwyn
Master on "Hardware Configuration With Dynamically-Queried Formal Models".
ETH Zurich. 2017/04–2017/10. -
Andrei Poenaru
Master on "Explicit OS support for hardware threads".
ETH Zurich. 2016/09–2017/03.
Undergraduate Students
-
Emily Chu
CO-OP research internship on "Generating translation hardware components for the Arm FastModels".
University of British Columbia. 2023/04–2023/12. -
David Bromley
NSERC USRA on "Formally specifying optimal sparse decision trees (OSDT) in Dafny".
University of British Columbia. 2022/06–2022/08. -
Sepehr Noorafshan
NSERC USRA on "Revisiting device driver synthesis with behavior trees".
University of British Columbia. 2022/06–2022/08. -
Portia Chang
NSERC USRA on "Revisiting device driver synthesis with behavior trees".
University of British Columbia. 2022/06–2022/08. -
Ilias Karimalis
NSERC USRA on "Design and implementation of a DSL to specify translation hardware".
University of British Columbia. 2022/06–2022/08. -
Thore Goebel
Bachelor on "CleanQ for USB".
ETH Zurich. 2020/02–2020/08. -
Patrick Ziegler
Bachelor on "A Unified Approach to Simulation of Hybrid CPU/FPGA systems".
ETH Zurich. 2019/10–2020/04. -
Leo Horne
Bachelor on "Using NetBSD Kernel Components on Barrelfish Through Rump Kernels".
ETH Zurich. 2019/08–2019/02. -
Giuseppe Arcuti
Bachelor on "Formally modelling hardware standards".
ETH Zurich. 2019/02–2019/08. -
Sven Knobloch
Bachelor on "System Modeling Co-Design".
ETH Zurich. 2018/03–2018/09. -
Joel Busch
Bachelor on "Device Queues for USB".
ETH Zurich. 2017/12–2018/05. -
David Keller
Bachelor on "Dynamic Linking and Loading in Barrelfish".
ETH Zurich. 2015/02–2015/08.