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—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)