6 files changed, 147 insertions, 0 deletions
diff --git a/education/2016-09_llg.nix b/education/2016-09_llg.nix
new file mode 100644
index 0000000..9a13202
--- /dev/null
+++ b/education/2016-09_llg.nix
@@ -0,0 +1,12 @@
+{ href, ... }:
+
+{
+  date = { start = "2016-09-01"; end = "2018-07-31"; };
+  institution = {
+    name = "Lycée Louis-le-Grand";
+    location = "Paris, France";
+    url = "https://www.louislegrand.fr/";
+  };
+  studyType = "Higher Schools Preparatory Classes";
+  description = "MPSI - MP* (Mathematics, Physics & Computer Science)";
+}
diff --git a/education/2018-09_ens/2018-09_l3.nix b/education/2018-09_ens/2018-09_l3.nix
new file mode 100644
index 0000000..40643b5
--- /dev/null
+++ b/education/2018-09_ens/2018-09_l3.nix
@@ -0,0 +1,36 @@
+{ ... }:
+
+{
+  date = {
+    start = "2018-09-01";
+    end = "2019-07-31";
+  };
+  program = {
+    name = "ENS's Computer Science Department";
+    acronym = "DIENS";
+    studyType = "Bachelor's degrees in Computer Science and Mathematics";
+    url = "https://diplome.di.ens.fr/index_en.html";
+  };
+  courses = {
+    "Computer Science" = [
+      "Machine Learning"
+      "Databases"
+      "Formal Languages, Decidability & Complexity"
+      "Operating Systems"
+      "Algorithms & Programming"
+      "Cryptography"
+      "Programming Languages & Compilation"
+      "Semantics & Verification of Programs"
+      "Hardware Systems"
+    ];
+    Mathematics = [
+      "Algebra (Groups)"
+      "Complex Analysis"
+      "Measure Theory"
+      "Topology & Differential Calculus"
+      "Information Theory"
+    ];
+  };
+  description =
+    "Graduated with highest honors in Computer Science (17.80/20), with honors in Mathematics (14.74/20)";
+}
diff --git a/education/2018-09_ens/2019-09_m1.nix b/education/2018-09_ens/2019-09_m1.nix
new file mode 100644
index 0000000..f58e7ea
--- /dev/null
+++ b/education/2018-09_ens/2019-09_m1.nix
@@ -0,0 +1,39 @@
+{ ... }:
+
+{
+  date = {
+    start = "2019-09-01";
+    end = "2020-07-31";
+  };
+  program = {
+    name = "ENS's Computer Science Department";
+    acronym = "DIENS";
+    studyType = "First year Master's degree in Computer Science";
+    url = "https://diplome.di.ens.fr/index_en.html";
+  };
+  courses = {
+    "Computer Science" = [
+      "Random Structures & Algorithms"
+      "Path Planning in Robotics"
+      "Models & Algorithms for Networks"
+      "Deep Learning"
+      "Artificial Vision"
+      "Lambda Calculus & Categories"
+      "Combinatorial & Convex Optimisation"
+      "Parallel & Reactive Programming"
+    ];
+    Mathematics = [
+      "Functional Analysis"
+      "Dynamical Systems"
+      "Stochastic Processes"
+      "Differential Geometry"
+      "Algebra (Domains)"
+      "Logics"
+      "Data Science"
+      "Statistics"
+      "Partial Differential Equations"
+      "Algebraic Topology"
+    ];
+  };
+  description = "Completed with highest honors (18.20/20).";
+}
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.";
+}
diff --git a/education/2018-09_ens/default.nix b/education/2018-09_ens/default.nix
new file mode 100644
index 0000000..6c5aa4a
--- /dev/null
+++ b/education/2018-09_ens/default.nix
@@ -0,0 +1,21 @@
+{ make, ... }:
+
+{
+  date = {
+    start = "2018-09-01";
+    end = "2023-08-31";
+  };
+  institution = {
+    name = "École Normale Supérieure";
+    url = "https://www.ens.psl.eu/en";
+    location = "Paris, France";
+  };
+  studyType = "Master's degree in Theoretical Computer Science";
+  years = builtins.map (path: make path { }) [
+    ./2018-09_l3.nix
+    ./2019-09_m1.nix
+    ./2021-09_m2.nix
+  ];
+  description =
+    "Took two gap years: one to follow additional postgraduate courses in Mathematics; one to do additional internships.";
+}
diff --git a/education/default.nix b/education/default.nix
new file mode 100644
index 0000000..ffe5dd9
--- /dev/null
+++ b/education/default.nix
@@ -0,0 +1,3 @@
+{ make, ... }:
+
+builtins.map (path: make path { }) [ ./2016-09_llg.nix ./2018-09_ens ]