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

{ href, code, ... }:

{
  date = {
    start = "2022-09-14";
    end = "2023-02-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 = "Publications";
    }
    {
      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.";
}