summaryrefslogtreecommitdiff
path: root/experience/2020-03_nii.nix
diff options
context:
space:
mode:
authorquentin@aristote.fr <quentin@aristote.fr>2023-08-20 14:27:53 +0200
committerquentin@aristote.fr <quentin@aristote.fr>2023-08-20 17:11:33 +0200
commit1b58988cc70068e43c479809f3b3fa34bc5ff11d (patch)
tree5a5abf9ba1fa3808be621dd2a3a3cdc6503eb162 /experience/2020-03_nii.nix
parent00348ab9a2d66c41d61788455acfe6cfadad13c6 (diff)
change api to accomodate for tex cv
Diffstat (limited to 'experience/2020-03_nii.nix')
-rw-r--r--experience/2020-03_nii.nix38
1 files changed, 24 insertions, 14 deletions
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index fb6e50d..e86fbee 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -2,8 +2,16 @@
{
date = {
- start = "2020-03-01";
- end = "2020-07-31";
+ start = {
+ year = 2020;
+ month = 3;
+ day = 1;
+ };
+ end = {
+ year = 2020;
+ month = 7;
+ day = 31;
+ };
};
institution = {
position = "research intern in Applied Category Theory";
@@ -11,19 +19,21 @@
url = "https://group-mmm.org/eratommsd/";
location = "Tōkyō, Japan";
};
- supervisors = [{
- name = "Ichiro Hasuo";
- url = "https://group-mmm.org/~ichiro/";
- } {
- name = "Jérémy Dubut";
- url = "https://group-mmm.org/~dubut/";
- }];
- assets = [
+ supervisors = [
+ {
+ name = "Ichiro Hasuo";
+ url = "https://group-mmm.org/~ichiro/";
+ }
{
- name = "internship report";
- id = "aristoteFibrationalFrameworkNested2020";
- type = "Publications";
+ name = "Jérémy Dubut";
+ url = "https://group-mmm.org/~dubut/";
}
];
- description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
+ assets = [{
+ 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.";
}