summaryrefslogtreecommitdiff
path: root/experience/2022-03_irif.nix
diff options
context:
space:
mode:
Diffstat (limited to 'experience/2022-03_irif.nix')
-rw-r--r--experience/2022-03_irif.nix34
1 files changed, 0 insertions, 34 deletions
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
deleted file mode 100644
index ecffaae..0000000
--- a/experience/2022-03_irif.nix
+++ /dev/null
@@ -1,34 +0,0 @@
-{...}: {
- date = {
- start = {
- year = 2022;
- month = 3;
- day = 14;
- };
- end = {
- year = 2022;
- month = 7;
- day = 31;
- };
- };
- 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/";
- }
- ];
- assets = [
- {
- name = "internship report";
- id = "aristoteApplicationsCategoricalFramework2022";
- type = "Writings";
- }
- ];
- description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";
-}