experience/2022-09_tweag.nix


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

{href, ...}: {
  date = {
    start = {
      year = 2022;
      month = 9;
      day = 14;
    };
    end = {
      year = 2023;
      month = 2;
      day = 24;
    };
  };
  institution = {
    position = "Software Engineering intern";
    name = "Tweag";
    url = "https://www.tweag.io/";
    location = "Paris, France";
  };
  supervisors = [
    {
      name = "Tweag's HAS group";
      url = "https://www.tweag.io/group/high-assurance-software/";
    }
  ];
  assets = [
    {
      name = "blog post";
      id = "aristoteSmtlibbackendsFasterSMTLIBbased2023";
      type = "Writings";
    }
    {
      name = "library";
      id = "aristoteSmtlibbackends2022";
      type = "Software";
    }
  ];
  description = "Sped-up ${
    href "https://github.com/tweag/pirouette" "Pirouette"
  } (a symbolic evaluator using incorrectness logic) by optimizing its interactions with SMT solvers.";
}