Supervised and Mentored Students

Current Students

I'm currently building up my lab and I am looking for motivated students!

---

Past Supervised Students

I'm honored that I had the opportunity to supervise and co-supervise oustanding students in the past.

Undergraduate Students

• 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–2024/08. Co-supervised with Margo Seltzer.

• (name witheld)
  

  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–2024/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.