Valentin Bergeron

Identifiers

• name variant Valentin Bergeron 0.60 · backfill

Papers (1)

1. From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware cs.PL · 2026 · author #1

Mentions

• 2606.02651 #1 · arxiv_oai · confidence 0.70 Valentin Bergeron

Frequent Coauthors

• Karolina Gorna 1 shared papers