About Me


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.


Latest News and Upcoming Travel

  • May 7, 2024 - I'm honored to receive the recognition as Distinguished Reviewer for ASPLOS'24
  • December 1, 2023 - I'll be serving on the EuroSys'25 PC.
  • 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.


Reto Achermann

achreto [at] cs.ubc.ca

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