Reto Achermann
Postdoctoral Resarch Fellow
Systopia Lab
Department of Computer Science
University of British Columbia
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
- 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
