diff --git a/CODEOWNERS b/CODEOWNERS
index 9f5cba7bf95..ae478796f45 100644
--- a/CODEOWNERS
+++ b/CODEOWNERS
@@ -12,7 +12,7 @@
 /src/goto-cc/ @kroening @tautschnig
 /src/linking/ @kroening @tautschnig
 /src/memory-models/ @kroening @tautschnig
-/src/goto-symex/ @kroening @tautschnig @peterschrammel @smowton
+/src/goto-symex/ @kroening @tautschnig @peterschrammel @smowton @romainbrenguier
 /src/json/ @kroening @tautschnig @peterschrammel
 /src/langapi/ @kroening @tautschnig @peterschrammel
 /src/xmllang/ @kroening @tautschnig @peterschrammel