end tweag internship and start irif one

in particular, assets now come with a type to differentiate between publications and software

6 files changed, 38 insertions, 2 deletions

diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix
index 091221c..0f446fc 100644
--- a/experience/2019-06_lis.nix
+++ b/experience/2019-06_lis.nix
@@ -19,10 +19,12 @@
     {
       name = "internship report";
       id = "aristoteMarcheQuantiqueReseau2019";
+      type = "Publications";
     }
     {
       name = "paper";
       id = "aristoteDynamicalTriangulationInduced2020";
+      type = "Publications";
     }
   ];
   description =
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index 95b641c..fb6e50d 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -22,6 +22,7 @@
     {
       name = "internship report";
       id = "aristoteFibrationalFrameworkNested2020";
+      type = "Publications";
     }
   ];
   description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
index 682d652..f2f2d4e 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -19,6 +19,7 @@
     {
       name = "internship report";
       id = "aristoteApplicationsCategoricalFramework2022";
+      type = "Publications"; 
     }
   ];
   description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";
diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
index 01fb280..29c7c7b 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/2022-09_tweag.nix
@@ -1,4 +1,4 @@
-{ href, ... }:
+{ href, code, ... }:
 
 {
   date = {
@@ -11,7 +11,19 @@
     url = "https://www.tweag.io/";
     location = "Paris, France";
   };
-  description = "Ongoing. Speeding-up ${
+  assets = [
+    {
+      name = "blog post";
+      id = "aristoteSmtlibbackendsFasterSMTLIBbased2023";
+      type = "Publications";
+    }
+    {
+      name = "library";
+      id = "aristoteSmtlibbackends2022";
+      type = "Software";
+    }
+  ];
+  description = "Sped-up ${
       href "https://github.com/tweag/pirouette" "Pirouette"
     } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
 }
diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix
new file mode 100644
index 0000000..a8dbc6c
--- /dev/null
+++ b/experience/2023-03_irif.nix
@@ -0,0 +1,19 @@
+{ ... }:
+
+{
+  date = {
+    start = "2023-02-27";
+    end = "2023-07-28";
+  };
+  institution = {
+    position = "research intern in Applied Category Theory";
+    name = "IRIF (UMR 8243), CNRS";
+    url = "https://www.irif.fr/en/index";
+    location = "Paris, France";
+  };
+  supervisors = [{
+    name = "Daniela Petrişan";
+    url = "https:/www.irif.fr/~petrisan/";
+  }];
+  description = "Ongoing. Pre-PhD internship.";
+}
diff --git a/experience/default.nix b/experience/default.nix
index fc65ab6..b472b45 100644
--- a/experience/default.nix
+++ b/experience/default.nix
@@ -5,4 +5,5 @@ builtins.map (path: make path { }) [
   ./2020-03_nii.nix
   ./2022-03_irif.nix
   ./2022-09_tweag.nix
+  ./2023-03_irif.nix
 ]