1 files changed, 12 insertions, 1 deletions
diff --git a/people.json b/people.json
index 248c644..2b78064 100644
--- a/people.json
+++ b/people.json
@@ -187,5 +187,16 @@
                 "link": "https://github.com/wilbowma/fib-lang/tree/2ec2d1dfd141220882d824cf3dac5b374ed291f3"
             }
         ]
-    }
+    },
+    {
+        "github": "fbanados",
+        "name": "Felipe Bañados Schwerter",
+        "title": "PhD Candidate, UBC",
+        "entries": [
+            {
+                "name": "coq",
+                "link": "./entries/fbanados/fib.v"
+            }
+        ]
+    },
 ]