diff --git a/generator/authors.ml b/generator/authors.ml
index d1fff5d22..819191bb3 100644
--- a/generator/authors.ml
+++ b/generator/authors.ml
@@ -34,6 +34,7 @@ type role = Development | Quality_assurance | Documentation | V2V_and_P2V
  *)
 let authors = [
 "Adam Huffman", [], [ Development ];
+"Adam Robinson", [], [ Development ];
 "Andrea Bolognani", [], [ Development ];
 "Angus Salkeld", [], [ Development ];
 "Ani Peter", [], [ Development ];