PhD Defence by Morten Clausen

PhD Thesis: “Rogers: Writing Verified Programs for Computational Storage”

Examination Committee:
Associate Professor Willard Rafnsson, IT University of Copenhagen (Chair)
Associate Professor Julia Lawall, INRIA, France
Associate Professor Dirk Habich, TU Dresden, Germany

Supervisors:
Jesper Bengtson, Associate Professor, IT University of Copenhagen, Denmark
Pınar Tözün, Associate Professor, IT University of Copenhagen, Denmark
Philippe Bonnet, Professor, University of Copenhagen, Denmark Read more