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

change error

parent d90ccdb4
......@@ -222,7 +222,7 @@ If you wish to join our team, [consult our offers] (in French) or send us your C
</div>
<div class="col-lg-8">
<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.
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>
</div>
</div>
......
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