diff --git a/users/trusted-systemlab.json b/users/trusted-systemlab.json
new file mode 100644
index 00000000..ca00590c
--- /dev/null
+++ b/users/trusted-systemlab.json
@@ -0,0 +1,8 @@
+{
+  "copyright": "Trusted System Lab ",
+  "url": "https://formal-analysis.com/research/npat/",
+  "format": "html",
+  "license": "mit",
+  "theme": "default",
+  "gravatar": false
+}
\ No newline at end of file