blob: 01260682fe5b2ce2f35c5917f763cd5e3f0948c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
{
href,
file,
...
}: let
institution = {
position = "PhD student in Theoretical Computer Science";
name = "IRIF";
url = "https://www.irif.fr/en/index";
};
in {
inherit institution;
email = {
academic = "quentin.aristote@irif.fr";
personal = "quentin@aristote.fr";
};
avatar = file "avatar.jpg";
location = {
office = "3010";
number = "8";
street = "place Aurélie Nemours";
city = "Paris";
postalCode = "75013";
country = "France";
};
profiles = {
Git = {
icon = "git";
profiles = {
personal = {
icon = "github";
url = "https://github.com/qaristote";
};
IRIF = {
icon = "gitlab";
url = "https://gitlab.math.univ-paris-diderot.fr/aristote";
};
ENS = {
icon = "gitlab";
url = "https://git.eleves.ens.fr/qaristote";
};
};
};
LinkedIn = {
icon = "linkedin";
url = "https://fr.linkedin.com/in/quentin-aristote-83979b186";
};
};
keys = let
getKeyFiles = type: keys: {
"${type}" =
builtins.foldl'
(tmp: name: tmp // {"${name}" = file "keys/${type}/${name}.pub";}) {}
keys;
};
in
getKeyFiles "pgp" ["DFC1660846EEA97C059F18534EF515441E635D36"]
// getKeyFiles "ssh" ["qaristote@latitude-7490"];
name = {
first = "Quentin";
last = "Aristote";
};
url = "https://quentin.aristote.fr/";
description = ''
I am a PhD student in Theoretical Computer Science at ${
href "https://www.irif.fr/en/index" "IRIF"
}, under the supervision of ${
href "https://www.irif.fr/~petrisan/" "Daniela Petrişan"
}. My PhD involves studying the compositionality of ${
href "https://en.wikipedia.org/wiki/Monad_(category_theory)" "monads"
} through ${
href "https://ncatlab.org/nlab/show/weak+distributive+law"
"weak distributive laws"
}, and its applications to ${
href "https://en.wikipedia.org/wiki/Side-effect_(computer_science)"
"effectful programming"
}, in particular within ${
href "https://en.wikipedia.org/wiki/Automata_theory" "automata theory"
}.
More generally, I am mainly interested in applying abstract mathematical theories (e.g. category theory) to computer science in order to get new results for free. I am also interested in practical computer science and enjoy programming using functional languages as well as tinkering with systems.
'';
}
|
