Morten Clausen

2 February

Location: Aud. 4 at 1 PM

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