Morten Tychsen Clausen

PhD Fellow

Morten is working as a PhD fellow with Philippe Bonnet as a supervisor. His PhD project pertains to the verification of eBPF programs which are supposed to execute on the computational unit of future computational storage devices. He completed his Master’s in Computer Science with a specialization in programming language theory and parallel hardware performance in the summer of 2021, and has an interest in formal mathematics, functional programming and parallel computation.