PhD Defence by Morten Clausen
PhD Thesis: “Rogers: Writing Verified Programs for Computational Storage”
About the event
When
Monday, February 2, 2026 1:00 PM
-
Monday, February 2, 2026 5:00 PM
Where
Auditorium 4
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