diff --git a/README.md b/README.md
index 66d928c1910506afc14e0f467d431b148905c8d9..4fe625e420bfe8499ea66e9b803813925a10a76b 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,8 @@
+This is the repository containing a fork of Iris developed by Niklas Mück and Benjamin Peters as part of their "Research Immersion Lab" at UdS, supervised by Derek Dreyer.
+
+You can find the corresponding project report [here](TODO).
+Our fork of ReLoC can be found [here](https://gitlab.mpi-sws.org/NiklasM/reloc).
+
 # IRIS COQ DEVELOPMENT [[coqdoc]](https://plv.mpi-sws.org/coqdoc/iris/)
 
 This is the Coq development of the [Iris Project](http://iris-project.org),