vrindisbacher.github.io/index.html at main · vrindisbacher/vrindisbacher.github.io · GitHub

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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
<!DOCTYPE html>
<html>

<head>
  <meta charset="utf-8">
  <title>Vivien Rindisbacher</title>
  <meta name="description" content="Vivien Rindisbacher's Home Page">
  <meta name="author" content="Vivien Rindisbacher">
  <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1, user-scalable=no" />
  <link rel="icon" type="image/png" href="favicon.png">
  <link href="https://fonts.googleapis.com/css2?family=Josefin+Sans:ital,wght@0,100..700;1,100..700&display=swap"
    rel="stylesheet">
  <link
    href="https://fonts.googleapis.com/css2?family=Bruno+Ace&family=Josefin+Sans:ital,wght@0,100..700;1,100..700&display=swap"
    rel="stylesheet">
  <link
    href="https://fonts.googleapis.com/css2?family=Bruno+Ace&family=Bruno+Ace+SC&family=Josefin+Sans:ital,wght@0,100..700;1,100..700&display=swap"
    rel="stylesheet">
  <link href="https://cdnjs.cloudflare.com/ajax/libs/normalize/8.0.1/normalize.min.css" rel="stylesheet"
    type="text/css" />
  <link href="http://fonts.googleapis.com/css?family=Roboto" rel="stylesheet" type="text/css" />
  <link href="styles.css" rel="stylesheet" type="text/css" />
  <link href="style_between.css" rel="stylesheet" type="text/css"
    media="screen and (max-width: 1200px) and (min-width: 600px)">
  <link href="style_mobile.css" media="screen and (max-width: 600px)" rel="stylesheet" type="text/css" />
</head>

<body>

  <div class="main">
    <div class="profile">
      <img class="profile-img" src="prof.png">
      <h1 class="profile-text">Vivien Rindisbacher</h1>
    </div>
    <div class="main-content">
      <div class="section">
        <h2 class="section-heading">About Me</h2>
        <div class="about-me">
          <div> Hello! I am a PhD Student in the
            <a target="_blank" href="https://cseweb.ucsd.edu/groups/progsys/">Programming Systems Group @ UCSD</a>.
          </div>
          <div>
            I mostly work at the intersection of programming
            languages and security,
            focusing on pragmatic verification.
            Ultimately, I want my work to meaningfully reduce the number of bugs that exist in code.
          </div>
          <div> Before joining UCSD, I worked as a Software Engineer at <a target="_blank"
              href="https://dimensional.com">Dimensional Fund Advisors</a> and completed my undergrad at Boston
            University where I worked on <i>Formally Verifying Algorithms for Differential Privacy</i>, with
            <a href="https://cs-people.bu.edu/gaboardi/" target="_blank">Professor Marco Gaboardi (BU)</a> and
            <a href="http://arthuraa.net/" target="_blank">Professor Arthur Azevedo De Amorim (RIT)</a>.
          </div>
        </div>
      </div>
      <div class="section">
        <h2 class="section-heading">Research</h2>
        <div class="sub-section alternating">
          <p>
            <i class="sub-section-heading">TickTock: Verified Isolation in a Production Embedded OS</i>
            <span style="top: 10px; position: relative;">
              <i>Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto,
                Stefan Savage, Deian
                Stefan, Ranjit Jhala.
                SOSP 2025
              </i>
              <br>
              <br>
              <a class="" href="https://dl.acm.org/doi/pdf/10.1145/3731569.3764856" target="_blank">
                SOSP Paper
              </a>
              -
              <a class="" href="https://www.youtube.com/watch?v=reU2rOIjAPY" target="_blank"><i>Rust Working
                  Group Talk</i></a>
              -
              <a class="" href="https://drive.google.com/file/d/1V523Q6626zhIFUZ0dwwoL_28yAYCSpY3/view"
                target="_blank"><i>Rust Verification
                  Slides</i></a>
              -
              <a class="" href="https://github.com/PLSysSec/tock" target="_blank"><i>Code</i></a>
              <br>
            </span>
          </p>
        </div>
        <div class="sub-section alternating">
          <p>
            <i class="sub-section-heading">Verified Differential Privacy for Finite Computers</i>
            <span style="top: 10px; position: relative">
              <i>Vivien Rindisbacher, Arthur Azevedo de Amorim, Marco Gaboardi.
                CoqPL 2023
              </i>
              <br>
              <br>
              <a class="" href="Verified-Diff-Priv.pdf" target="_blank">
                <i>Extended Abstract</i>
              </a>
              -
              <a class="" href="https://www.youtube.com/watch?v=9dCJVP4PrZw&ab_channel=ACMSIGPLAN" target="_blank">
                <i>Talk</i>
              </a>
            </span>
          </p>
        </div>
        <div class="sub-section alternating">
          <p>
            <i class="sub-section-heading">Heat Adjusted Power</i>
            <a class="" href="https://heatadjustedpower.com" target="_blank"><i>Site</i></a>
            <br>
            <span style="top: 10px; position: relative">
              Heat Adjusted Power is the <i>only</i>
              model that is able to adjust cyclist's effort level for ambient temperature. This site was formally
              launched as a product by CCNS. Big thanks to <a href="https://ysph.yale.edu/profile/michael-kane/"
                target="_blank">Professor Michael Kane (Yale)</a> for his guidance.
            </span>
          </p>
        </div>
      </div>
      <div class="section">
        <h2 class="section-heading">Education & Work Experience</h2>
        <div class="sub-section work-education alternating">
          <img src="ucsd.png" style="height: 50px; margin-right: 20px;">
          <span>
            <a class="sub-section-heading" href="https://ucsd.edu" target="_blank">
              <i>
                University of California, San Diego
              </i>
            </a>
            Ph.D. Student in Computer Science, advised by
            <a href="https://ranjitjhala.github.io/" target="_blank">Ranjit Jhala</a>
            and
            <a href="https://cseweb.ucsd.edu/~dstefan/" target="_blank">Deian Stefan</a>.
          </span>
        </div>
        <div class="sub-section work-education alternating">
          <img src="BU.png" style="height: 50px; margin-right: 20px;">
          <span>
            <a class="sub-section-heading" href="https://bu.edu" target="_blank"><i>Boston University - Computer
                Science</i></a>
            I graduated with a B.A. in CS from BU in May of 2022.
          </span>
        </div>
        <div class="sub-section work-education alternating">
          <img src="aws.svg" style="height: 50px; margin-right: 20px;">
          <span>
            <a class="sub-section-heading" href="https://aws.com" target="_blank">
              <i>
                Amazon Web Services (AWS)
              </i>
            </a>
            I worked as an Applied Scientist Intern in the summer of 2025.
          </span>
        </div>
        <div class="sub-section work-education alternating">
          <span style="flex-grow: 1;">
            <a class="sub-section-heading" href="https://dimensional.com" target="_blank"><i>Dimensional Fund Advisors -
                Software Engineer</i></a>
            I worked as a software engineer at DFA from 2022 - 2024.
          </span>
          <img src="DFA.png" style="height: 60px; margin-left: 15px;">
        </div>
      </div>
    </div>
    <div class="footer">
      <a href="https://github.com/vrindisbacher" target="_blank"><img class="contact-icon" src="GitHub.png"></a>
      <a href="mailto:vrindisbacher77@gmail.com"><img class="contact-icon" src="mail.png"></a>
    </div>
  </div>
</body>

</html>