add initial data

1 files changed, 36 insertions, 0 deletions

diff --git a/education/2018-09_ens/2021-09_m2.nix b/education/2018-09_ens/2021-09_m2.nix
new file mode 100644
index 0000000..734e944
--- /dev/null
+++ b/education/2018-09_ens/2021-09_m2.nix
@@ -0,0 +1,36 @@
+{ ... }:
+
+{
+  date = {
+    start = "2021-09-01";
+    end = "2022-07-31";
+  };
+  program = {
+    name = "Parisian Master of Research in Computer Science";
+    acronym = "MPRI";
+    studyType = "Second year Master's degree in Theoretical Computer Science";
+    url = "https://wikimpri.dptinfo.ens-cachan.fr/doku.php";
+  };
+  courses = {
+    "Computer Science" = [
+      "Denotational Semantics (Domains, Categories, Games)"
+      "Concurrency"
+      "Functional Programmming & Type Systems"
+      "Proof Systems"
+      "Proof Assistants"
+      "Non-Sequential Theory of Distributed Systems"
+      "Real-time & Hybrid Systems"
+      "Well Quasi-Orders & Algorithms"
+      "Approximation Algorithms"
+      "Molecular Algorithms"
+      "Finite Automata as Models"
+      "Game Theory"
+      "Quantum Computing"
+      "Proof of Programs"
+      "Programming Shared-Memory Multi-Threaded Machines"
+      "Probabilistic Programming"
+    ];
+  };
+  description =
+    "Graduated with highest honors (18.43/20), second of a highly-selective class of 70 students.";
+}