blob: 28cccd0afd549da6c908c843e9834d9f7b2b5d01 (
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
|
{
href,
file,
...
}:
let
institution = {
field = "Theoretical Computer Science";
position = "postdoc";
name = "TU Dresden";
url = "https://tu-dresden.de";
};
in
{
inherit institution;
email = {
academic = "quentin.aristote@tu-dresden.de";
personal = "quentin@aristote.fr";
};
avatar = file "avatar.jpg";
location = {
office = "WILL/B117";
number = "12-14";
street = "Zescheller Weg";
city = "Dresden";
postalCode = "01069";
country = "Germany";
};
profiles = {
Git = {
icon = "git";
url = "https://git.aristote.fr/";
};
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" [ "0x4EF515441E635D36" ] // getKeyFiles "ssh" [ "qaristote@latitude-7490" ];
name = {
first = "Quentin";
last = "Aristote";
};
url = "https://quentin.aristote.fr/";
description = ''
I am a post-doctoral researcher in ${institution.field} in the ${href "https://tu-dresden.de/mn/math/algebra" "Institut für Algebra"} of ${href institution.url institution.name}, in the group of ${href "https://tu-dresden.de/mn/math/algebra/bodirsky" "Manuel Bodirsky"}. I study the theory of ${href "https://en.wikipedia.org/wiki/Constraint_satisfaction_problem" "constraint satisfaction problems"}, to which I am particularly keen to apply other mathematical tools, such as those from ${href "https://en.wikipedia.org/wiki/Category_theory" "category theory"}.
More generally, I am mainly interested in applying abstract mathematical theories 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.
'';
}
|
