Create CONTRIBUTORS.md

CONTRIBUTORS.md

@@ -0,0 +1,29 @@
+The following people have made core contributions to Apalache:
+
+  * Igor Konnov:
+    - Informal Systems (Austria) 2020-2023,
+    - Interchain Foundation (Switzerland) 2019,
+    - INRIA Nancy (France) 2018-2019,
+    - TU Wien (Austria) 2016-2018.
+  * Jure Kukovec:
+    - Informal Systems (Austria) 2021-2023,
+    - TU Wien (Austria), 2016-2021.
+  * Shon Feder: Informal Systems (Canada), 2020-2023.
+  * Gabriela Moreira: Informal Systems (Brazil), 2021-2023.
+  * Thomas Pani: Informal Systems (Austria), 2022-2023.
+  * Rodrigo Otoni:
+    USI Università della Svizzera italiana (Switzerland), 2021-2022.
+  * Philip Offtermatt: Informal Systems, 2022.
+  * Andrey Kuprianov: Informal Systems (Austria) 2020.
+  * Thanh Hai Tran: TU Wien (Austria), 2016-2020.
+  * Viktor Sergeev: Univ. of Lorraine (France), 2019.
+
+Further, we appreciate code and documentation contributions by:
+
+  * @BGR360 Ben Reeves, 2022-2023.
+  * @Alexander-N Alexander Niederbühl, 2021.
+  * @rnbguy Rano, 2021-2022.
+  * @klinvill Kirby Linvill, 2021.
+  * @JonathanLorimer Jonathan Lorimer, 2021.
+  * @danwt Daniel T, 2021.
+  * @jlu015 Jørgen Lund, 2019.