blob: 33055110687d8194a5e0eefc6cd71acc111766f1 (
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
|
{
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: this involves astutely rephrasing concrete problems in abstract settings; the hope is then to get new insights from general theorems. I am also interested in practical computer science and enjoy programming using functional languages as well as tinkering with systems.
'';
}
|
