blob: b561c7271bbfa2b9e11d37e5ddc13b60a6435b18 (
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
|
{ ... }:
{
date = {
start = {
year = 2023;
month = 9;
day = 1;
};
end = {
year = 2026;
month = 8;
day = 31;
};
};
institution = {
position = "PhD student in Theoretical Computer Science";
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/";
}
];
description = "Thesis to be defended. Studied automata with side-effects in the language of category theory, with a focus, on the one hand, on minimality, and, on the other hand, on the combination of non-determinism with other effects via weak distributive laws.";
}
|
