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 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.
