Merlijn Arno Lothar Sevenhuijsen

A first-year Industrial PhD student between Scania and KTH. Please contact me through the Scania e-mail as this is my primary email: merlijn.sevenhuijsen@scania.com.

Currently, I am working on the FormAI project, exploring the intersection of generative AI and formal verification for developing formally verified safety-critical C code. Mattias Nyberg supervises me, and Dilian Gurov and Khashayar Etemadi Someoliayi co-supervise.

.