team.md 13.1 KB
Newer Older
1
<h1 id="page-title"> Team </h1>
zapashcanon's avatar
zapashcanon committed
2

Dario Pinto's avatar
Dario Pinto committed
3 4
**OCamlPro is a French company created in 2011 and located in Paris.**

5
If you wish to join our team, [consult our offers] (in French) or send us your CV and a description of some of your achievements at: [contact@ocamlpro.com].
Dario Pinto's avatar
Dario Pinto committed
6

7 8 9 10
<h2 id="page-sub-title"> A highly qualified team to work with you </h2>

<!-- Employee cards are grouped in pairs -->
<!-- This is pair 1 -->
Dario Pinto's avatar
Dario Pinto committed
11 12 13 14 15 16 17
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
          <img src="/assets/img/muriel.jpeg" class="img-fluid rounded-start"/>
        </div>
Dario Pinto's avatar
Dario Pinto committed
18 19 20 21 22 23 24
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Muriel Shan Sei Fan (President)</h4> 
              <p class="card-text">Muriel’s been a fan of OCamlPro’s eversince, and decided to dedicate her time to OCamlPro’s team and development, at the side of Fabrice Le Fessant, OCamlPro’s Founder and Scientific shepherd.
              </p>
          </div>
        </div>
Dario Pinto's avatar
Dario Pinto committed
25 26 27 28 29 30 31 32
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
33
          <img src="/assets/img/fabrice.jpeg" class="img-fluid rounded-start"/>
Dario Pinto's avatar
Dario Pinto committed
34 35 36
        </div>
        <div class="col-md-8">
          <div class="card-body">
Dario Pinto's avatar
Dario Pinto committed
37 38
            <h4 class="card-title">Fabrice Le Fessant (Founder and CSO)</h4> 
              <p class="card-text">Fabrice founded OCamlPro in 2011 after using OCaml for about 15 years at Inria. His free-software contributions range from improvements in OCaml itself to development tools (OCamlMemprof, ocp-build), distributed software (MLdonkey), blockchains (Tezos, Dune Network, TzScan) and smart contract languages (Liquidity). Former teacher at Ecole Polytechnique, he is a member of the Steering Committee of the Open-Source Hub at Systematic. 
Dario Pinto's avatar
Dario Pinto committed
39 40 41 42 43 44 45 46
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

47
<!-- This is pair 2 -->
Dario Pinto's avatar
Dario Pinto committed
48 49 50 51 52
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
53 54 55 56 57 58 59 60
          <img src="/assets/img/pierre.jpeg" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Pierre Chambart (CTO and Senior R&amp;D Engineer)</h4> 
              <p class="card-text">Pierre has a Ph.D. in Computer Science, obtained in the Specification and Verification Laboratory at ENS Cachan. After his PhD, he spent 12 months as an Engineer working on the Ocsigen Web Framework at IRILL, Paris. Finally, he joined OCamlPro in August 2012.
              </p>
          </div>
Dario Pinto's avatar
Dario Pinto committed
61 62 63 64 65 66 67 68 69
        </div>
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
70
          <img src="/assets/img/louis.jpeg" class="img-fluid rounded-start"/>
Dario Pinto's avatar
Dario Pinto committed
71 72 73
        </div>
        <div class="col-md-8">
          <div class="card-body">
Dario Pinto's avatar
Dario Pinto committed
74 75
            <h4 class="card-title">Louis Gesbert (Senior R&amp;D Engineer &amp; Deputy CTO)</h4> 
              <p class="card-text">Louis holds a PhD from University Paris Est, and has studied at EnsIIE, University of Manchester and University of Tokyo. He has a strong background on programming languages and distribution, and was one of the architects behind the Opa language developed at MLstate. He joined OCamlPro in November 2012, and is the lead developer of OPAM. He worked on the learn-ocaml platform and contributes from time to time to the flambda team at OCamlPro.
Dario Pinto's avatar
Dario Pinto committed
76 77 78 79 80 81 82 83
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

84
<!-- This is pair 3 -->
Dario Pinto's avatar
Dario Pinto committed
85 86 87 88 89
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
90 91 92 93 94 95 96 97
          <img src="/assets/img/vincent.jpeg" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Vincent Laviron (Senior R&amp;D Engineer &amp; Deputy CTO)</h4> 
              <p class="card-text">Vincent holds a MSc from ENS Ulm, focused on static analysis by abstract interpretation. He then spent several years working on static analysis of functional languages, before joining OCamlPro in June 2015 to work on SecurOCaml.
              </p>
          </div>
Dario Pinto's avatar
Dario Pinto committed
98 99 100 101 102 103 104 105 106
        </div>
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
107
          <img src="/assets/img/thomas.jpeg" class="img-fluid rounded-start"/>
Dario Pinto's avatar
Dario Pinto committed
108 109 110
        </div>
        <div class="col-md-8">
          <div class="card-body">
Dario Pinto's avatar
Dario Pinto committed
111 112
            <h4 class="card-title">Thomas Blanc (R&amp;D Engineer)</h4> 
              <p class="card-text">Thomas used to work as a PhD student between OCamlPRO and ENSTA, with a focus on whole-program static analysis. One of his first objectives is to try to use the whole-program analysis approach to detect uncaught exceptions in OCaml programs. Previously, he obtained a MSc in computer science at the ENS Cachan.
Dario Pinto's avatar
Dario Pinto committed
113 114 115 116 117 118 119 120
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

121
<!-- This is pair 4 -->
Dario Pinto's avatar
Dario Pinto committed
122 123 124 125 126
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
127 128 129 130 131 132 133 134
          <img src="/assets/img/steven.jpeg" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Steven De Oliveira (R&amp;D Engineer)</h4> 
              <p class="card-text">Steven holds a PhD in formal verification from the Paris-Saclay University and the French Atomic Energy Commission (CEA) since 2018. After a Master in Cryptography he worked in the Frama-C team, developing open-source tools for verifying C programs. He also was involved in science popularization projects like MT180 and InfoSansOrdi.
              </p>
          </div>
Dario Pinto's avatar
Dario Pinto committed
135 136 137 138 139 140 141 142 143
        </div>
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
144
          <img src="/assets/img/raja.jpeg" class="img-fluid rounded-start"/>
Dario Pinto's avatar
Dario Pinto committed
145 146 147
        </div>
        <div class="col-md-8">
          <div class="card-body">
Dario Pinto's avatar
Dario Pinto committed
148 149
            <h4 class="card-title">Raja Boujbel (Senior R&amp;D Engineer)</h4> 
              <p class="card-text">Raja holds a PhD in software deployment and multi-agent systems from University of Toulouse. Previously, she had studied functional programming and compiler design at Université Pierre et Marie Curie, then worked on the Opa language among MLstate’s distribution team. She joined OCamlPro in March 2018 as a lead maintainer for opam, an open-source package manager for OCaml.
Dario Pinto's avatar
Dario Pinto committed
150 151 152 153 154 155 156 157
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

158
<!-- This is pair 5 -->
Dario Pinto's avatar
Dario Pinto committed
159 160 161 162 163
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
164 165 166 167 168 169 170 171
          <img src="/assets/img/guillaume.jpeg" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Guillaume Bury (R&amp;D Engineer)</h4> 
              <p class="card-text">Guillaume holds a research Master in computer science from Ecole Normale Supérieure in Paris, France, and has studied the integration of rewriting techniques inside SMT solvers during his PhD obtained under the direction of Gilles Dowek and David Delahaye in Deducteam at ENS Cachan. He joined OCamlPro in October 2018 and works in the Flambda team, on optimizations passes for the OCaml compiler. 
              </p>
          </div>
Dario Pinto's avatar
Dario Pinto committed
172 173 174 175 176 177 178 179 180
        </div>
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
181
          <img src="/assets/img/david.jpeg" class="img-fluid rounded-start"/>
Dario Pinto's avatar
Dario Pinto committed
182 183 184
        </div>
        <div class="col-md-8">
          <div class="card-body">
Dario Pinto's avatar
Dario Pinto committed
185 186
            <h4 class="card-title">David Declerck (R&amp;D Engineer)</h4> 
              <p class="card-text">David is a new R&amp;D engineer at OCamlPro. He obtained a PhD from Université Paris-Sud in 2018, during which he extended the Cubicle model checker to support weak memory models and wrote a compiler from a subset of the x86 assembly language to Cubicle.
Dario Pinto's avatar
Dario Pinto committed
187 188 189 190 191 192 193 194
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

195
<!-- This is pair 6 -->
Dario Pinto's avatar
Dario Pinto committed
196 197 198 199 200
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
201 202 203 204 205 206 207 208
          <img src="/assets/img/adrien.jpeg" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Adrien Champion (Senior R&amp;D Engineer)</h4> 
              <p class="card-text">Adrien is interested in formal methods for the verification of safety properties over software and embedded systems. He worked on higher-order functional program verification at the University of Tokyo, in the Kobayashi laboratory, and worked on a predicate-inference tool for horn clauses called <a href="https://github.com/hopv/hoice">hoice</a>, written in rust. Before that, he was working at the University of Iowa on the <a href="https://github.com/kind2-mc/kind2">Kind 2 model checker</a> with Christoph Sticksel and Alain Mebsout. 
              </p>
          </div>
Dario Pinto's avatar
Dario Pinto committed
209 210 211 212 213 214 215 216 217
        </div>
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
Dario Pinto's avatar
Dario Pinto committed
218
          <img src="/assets/img/keryan.png" class="img-fluid rounded-start"/>
Dario Pinto's avatar
Dario Pinto committed
219 220 221
        </div>
        <div class="col-md-8">
          <div class="card-body">
Dario Pinto's avatar
Dario Pinto committed
222 223
            <h4 class="card-title">Keryan Didier (R&amp;D Engineer)</h4> 
              <p class="card-text">Keryan joined the team in 2020 as a R&amp;D engineer. He holds a PhD from University Pierre et Marie Curie, during which he developed an automated implementation method for hard real-time applications. Previously, he studied functional programming and language design at University Paris-Diderot. 
Dario Pinto's avatar
Dario Pinto committed
224 225 226 227 228 229 230 231
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

232
<!-- This is pair 7 -->
Dario Pinto's avatar
Dario Pinto committed
233 234 235 236 237 238 239
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
          <img src="/assets/img/aurore.jpeg" class="img-fluid rounded-start"/>
        </div>
Dario Pinto's avatar
Dario Pinto committed
240 241 242 243 244 245 246
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Aurore Drombry (Communication Manager)</h4> 
              <p class="card-text">Aurore joined the team in 2019 to contribute with non-tech goals and optimize internal communication in the organization. She holds a degree in Human Sciences and a Master in Communication techniques &amp; Digital Marketing. Before, she worked for two years as a project manager and communication manager on digital projects.
              </p>
          </div>
        </div>
Dario Pinto's avatar
Dario Pinto committed
247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268
      </div>
    </div>
  </div>

  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
          <img src="/assets/img/leo.png" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Léo Andrès (R&amp;D Engineer)</h4> 
              <p class="card-text">Léo holds a Master&#8217;s degree from Paris-Saclay University, focused on foundations of computer science and software engineering. He joined OCamlPro in March 2020 for an internship to study canonical forms and code duplication detection in a mini-ML language. He&#8217;s now a PhD student at OCamlPro working on the future garbage collector of WebAssembly. 
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>

269
<!-- This is pair 8 -->
Dario Pinto's avatar
Dario Pinto committed
270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287
<div class="row">
  <div class="col-lg-6">
    <div class="card mb-3" style="max-width: 540px;">
      <div class="row g-0">
        <div class="col-md-4">
          <img src="/assets/img/dario.png" class="img-fluid rounded-start"/>
        </div>
        <div class="col-md-8">
          <div class="card-body">
            <h4 class="card-title">Dario Pinto (Junior Developer)</h4> 
              <p class="card-text">With a degree in English, Dario is passionate about languages and decided to specialize in programming languages. He is preparing his Master 2 in Programming at Ecole 42 and joined the OCamlPro team in 2021 as a Junior Software Developer. Previously, he did an internship at CEA List where he was in charge of analysing open-source software. 
              </p>
          </div>
        </div>
      </div>
    </div>
  </div>
</div>
288 289 290

[consult our offers]: jobs/recrutement-ocamlpro/
[contact@ocamlpro.com]: contact@ocamlpro.com