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

  • Oct 7, 2021 - The paper 'Generating correct initial page tables from formal hardware descriptions' got accepted at PLOS '21
  • August 17, 2021 - Our paper 'Declarative Power Sequencing' will appear at EMSOFT
  • June 08, 2021 - I gave a talk on Mitosis at the ICSA Colloquium, University of Edinburgh
  • April 26, 2021 - I've received the honorable mention for my participation in the EuroSys Shadow PC


Reto Achermann

achreto [at] cs.ubc.ca

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