Merlijn Arno Lothar Sevenhuijsen

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

I work on theFormAIproject on combining generative AI and formal verification to develop formally verified, safety-critical C/C++ code. Supervised byMattias Nyberg(Scania & KTH) and co-supervised by Dilian Gurov(KTH)

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)

• Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
  Isola 2026 (Kos, Greece, October 24–28, 2026)