Daniel Schwyn

Research Interest

My research focuses on formal hardware models for complex platforms. I am a member of the Sockeye project which aims to find abstractions for the hardware/software interface with formal semantics to tackle the complexity of modern hardware.

I am also a member of the Barrelfish OS team, working on integrating information from formal hardware models.

Education

• Doctor of Science (PhD) in Computer Science ETH Zürich February 2018 - PRESENT Prof. Dr. Timothy Roscoe
• Master of Science (MSc) in Computer Science ETH Zürich September 2016 - January 2018 Hardware Configuration With Dynamically-Queried Formal Models Prof. Dr. Timothy Roscoe
• Bachelor of Science (BSc) in Computer Science ETH Zürich September 2011 - September 2015 Implementation of a Smartphone-based Visible Light Communication System using the Audiojack as a Communcation Frontend Prof. Dr. Thomas Gross

Publications

• CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer
  • Roni Häcki
  • Lukas Humbel
  • Reto Achermann
  • David Cock
  • Daniel Schwyn
  • Timothy Roscoe
  arXiv:1911.08773
• A Least-Privilege Memory Protection Model for Modern Hardware
  • Reto Achermann
  • Nora Hossle
  • Lukas Humbel
  • Daniel Schwyn
  • David Cock
  • Timothy Roscoe
  arXiv:1908.08707
• From sound to sight: Using audio processing to enable visible light communication
  • Stefan Schmid
  • Daniel Schwyn
  • Kaan Akşit
  • Giorgio Corbellini
  • Thomas R. Gross
  • Stefan Mangold
  GC Wkshps'14

Teaching

• Advanced Operating Systems (263-3800-00L) ETH Zürich
  • Spring 2020
  • Spring 2019
• Systems Programming and Computer Architecture (252-0061-00L) ETH Zürich
  • Fall 2019