Merlijn Arno Lothar Sevenhuijsen

Second-year Industrial PhD student (Traton (formerly Scania) / KTH)
Email (primary): merlijn.sevenhuijsen@scania.com

I work on the FormAI project on combining generative AI and formal verification to develop formally verified, safety-critical C/C++ code. Supervised by Mattias Nyberg (Scania & KTH) and co-supervised by Dilian Gurov(KTH) and Khashayar Etemadi Someoliayi(ETH Zurich).

Selected Recent Work

• VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
  FormaliSE 2025 (Ottawa, Canada, April 27–28, 2025)

• CASP: An Evaluation Dataset for Formal Verification of C Code
  AISoLA 2025 (Rhodes, Greece, November 1–5, 2025)

• Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification
  NeSy 2025 (Santa Cruz, USA, September 8–10, 2025)