Commit bd33cc8c authored by Dario Pinto's avatar Dario Pinto
Browse files

Merge branch 'team' into 'master'

Team

See merge request OCamlPro/www!87
parents ff5fca12 55aed738
...@@ -5,269 +5,279 @@ ...@@ -5,269 +5,279 @@
<!-- Employee cards are grouped in pairs --> <!-- Employee cards are grouped in pairs -->
<!-- This is pair 1 --> <!-- This is pair 1 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_muriel.jpeg" class="img-fluid rounded card-image" /> <!-- style="width:169px; height:200px" Specific width and heigth for this picture only--> <img src="assets/img/photo_muriel.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Muriel Shan Sei Fan</h4> <h5 class="card-title">Muriel Shan Sei Fan</h5>
<p><small class="text-muted">President</small></p> <p class="text-center"><small class="text-muted">President</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_fabrice.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_fabrice.jpeg" class="img-fluid rounded card-image"/>
<h4 class="card-title">Fabrice Le Fessant</h4> <h4 class="card-title">Fabrice Le Fessant</h5>
<p><small class="text-muted">Founder and CSO</small></p> <p class="text-center"><small class="text-muted">Founder and CSO</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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. <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.</p>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 2 --> <!-- This is pair 2 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_pierre.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_pierre.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Pierre Chambart</h4> <h5 class="card-title">Pierre Chambart</h5>
<p><small class="text-muted">CTO and Senior R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">CTO and Senior R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_louis.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_louis.jpeg" class="img-fluid rounded card-image"/>
<h4 class="card-title">Louis Gesbert</h4> <h4 class="card-title">Louis Gesbert</h5>
<p><small class="text-muted">Senior R&D Engineer & Deputy CTO</small></p> <p class="text-center"><small class="text-muted">Senior R&D Engineer & Deputy CTO</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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. <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.</p>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 3 -->
<!-- This is pair 3 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_vincent.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_vincent.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Vincent Laviron</h4> <h5 class="card-title">Vincent Laviron</h5>
<p><small class="text-muted">Senior R&amp;D Engineer &amp; Deputy CTO</small></p> <p class="text-center"><small class="text-muted">Senior R&amp;D Engineer &amp; Deputy CTO</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_thomas.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_thomas.jpeg" class="img-fluid rounded card-image"/>
<h4 class="card-title">Thomas Blanc</h4> <h4 class="card-title">Thomas Blanc</h5>
<p><small class="text-muted">R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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. <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.</p>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 4 -->
<!-- This is pair 4 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_steven.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_steven.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Steven De Oliveira</h4> <h5 class="card-title">Steven De Oliveira</h5>
<p><small class="text-muted">R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_raja.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_raja.jpeg" class="img-fluid rounded card-image"/>
<h4 class="card-title">Raja Boujbel</h4> <h4 class="card-title">Raja Boujbel</h5>
<p><small class="text-muted">Senior R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">Senior R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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. <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.</p>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 5 -->
<!-- This is pair 5 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_guillaume.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_guillaume.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Guillaume Bury</h4> <h5 class="card-title">Guillaume Bury</h5>
<p><small class="text-muted">R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_david.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_david.jpeg" class="img-fluid rounded card-image"/>
<h4 class="card-title">David Declerck</h4> <h4 class="card-title">David Declerck</h5>
<p><small class="text-muted">R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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. <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.</p>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 6 -->
<!-- This is pair 6 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_adrien.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_adrien.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Adrien Champion</h4> <h5 class="card-title">Adrien Champion</h5>
<p><small class="text-muted">Senior R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">Senior R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_keryan.png" class="img-fluid rounded card-image"/> <img src="assets/img/photo_keryan.png" class="img-fluid rounded card-image"/>
<h4 class="card-title">Keryan Didier</h4> <h4 class="card-title">Keryan Didier</h5>
<p><small class="text-muted">R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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. <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.</p>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 7 -->
<!-- This is pair 7 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_aurore.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_aurore.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Aurore Drombry</h4> <h5 class="card-title">Aurore Drombry</h5>
<p><small class="text-muted">Communication Manager</small></p> <p class="text-center"><small class="text-muted">Communication Manager</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 & Digital Marketing. Before, she worked for two years as a project manager and communication manager on digital projects. <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 & Digital Marketing. Before, she worked for two years as a project manager and communication manager on digital projects.</p>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_leo.png" class="img-fluid rounded card-image"/> <img src="assets/img/photo_leo.png" class="img-fluid rounded card-image"/>
<h4 class="card-title">Léo Andrès</h4> <h4 class="card-title">Léo Andrès</h5>
<p><small class="text-muted">R&amp;D Engineer</small></p> <p class="text-center"><small class="text-muted">R&amp;D Engineer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
<br /> </div>
<br />
<!-- This is pair 8 -->
<!-- This is pair 8 -->
<div class="row"> <div class="row">
<div class="col-lg-6"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="row"> <div class="row g-0">
<div class="col-lg-4"> <div class="col-md-4">
<img src="assets/img/photo_dario.jpeg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_dario.jpeg" class="img-fluid rounded card-image" />
<h4 class="card-title">Dario Pinto</h4> <h5 class="card-title">Dario Pinto</h5>
<p><small class="text-muted">Junior Developer</small></p> <p class="text-center"><small class="text-muted">Junior Developer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
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 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>
</p> </div>
</div> </div>
</div> </div>
</div> </div>
<div class="col-lg-6">
<div class="row"> <div class="col-12 col-lg-6 card bg-transparent" >
<div class="col-lg-4"> <div class="row g-0">
<div class="col-md-4">
<img src="assets/img/photo_mohamed.jpg" class="img-fluid rounded card-image"/> <img src="assets/img/photo_mohamed.jpg" class="img-fluid rounded card-image"/>
<h4 class="card-title">Mohamed Hernouf</h4> <h4 class="card-title">Mohamed Hernouf</h5>
<p><small class="text-muted">Junior R&D Developer</small></p> <p class="text-center"><small class="text-muted">Junior R&D Developer</small></p>
</div> </div>
<div class="col-lg-8"> <div class="col-md-8">
<p class="card-text"> <div class="card-body">
Mohamed holds a Master’s degree from Université Pierre et Marie Curie, focused on functional programming and abstract interpretation. He joined OCamlPro in March 2021 for an internship to develop and maintain documentation platform for opam packages docs.ocaml.pro. After defending his Master's degree he continued as a Junior R&D Developer.</p> <p class="card-text">Mohamed holds a Master’s degree from Université Pierre et Marie Curie, focused on functional programming and abstract interpretation. He joined OCamlPro in March 2021 for an internship to develop and maintain documentation platform for opam packages docs.ocaml.pro. After defending his Master's degree he continued as a Junior R&D Developer.</p>
</div> </div>
</div> </div>
</div> </div>
</div> </div>
</div>
<br />
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment