About Me

Introduction

I am a Postdoctoral Research Fellow working with Prof. Margo Seltzer at the Systopia Lab at the Department of Computer Science of the University of British Columbia in Vancouver Canada.

I did my PhD with Prof. Timothy Roscoe in the Systems Group at the Department of Computer Science, ETH Zurich. My PhD was about formally specifying the memory subsystem of a hardware platform as it is seen by software.

Updates

Latest News and Upcoming Travel

  • Oct 23, 2023 - Our work on device driver synthesis was presented at PLOS'23.
  • June 16, 2023 - I'll be presenting our work on address translations at HotOS'23.
  • Mai 1, 2023 - I'll be serving on the EuroSys'24 PC.
  • April 9, 2023 - I'll be serving on the ASPLOS'24 PC.

Contact

Reto Achermann

achreto [at] cs.ubc.ca

The University of British Columbia
Dept. of Computer Science
201-2366 Main Mall
Vancouver, BC V6T 1Z4
Canada