Section: Partnerships and Cooperations

International Research Visitors

Research Stays Abroad

• Thomas Sibut-Pinote has spent two months at Microsoft Research Cambridge, visiting Georges Gonthier and working on mathematical libraries for the Lean proof assistant. He also participated in a hackathon internal to Microsoft Research with the goal to apply formal methods to the verification of the smart contracts involved in the Ethereum framework for cryptocurrency.