[TOC]

# Projects
- ongoing projects
- responsibilities

# Michelson team

## Raphaël Cauderlier
- Mi-Cho-Coq
- Tickets (implementor)
- Michelson features

## Mehdi Bouaziz
- Baking accounts reviewer
- Big maps for Sapling and refactoring
- Sheperd for G
- Advisor of Guillaume Bau

## Yann Régis-Gianas
- Michelson interpreter
- Advisor of Colin González and Paul Laforgue

## Lucas Randazzo
- Gas measurement (snoop)
- Sample library

# Verif team

## Zaynah Dargaye
- mustard
- coquille

## Guillaume Claret
- coq-of-ocaml

## Germán Delbianco
- Mempool

## Thomas Letan
- FreeSpec
- Baking accounts specification
- Some DevOps-ish tasks (upgrade to OCaml 4.12, rust config files)

## Boubacar Sall
- Token management

## Julien Tesson
- Coquille: circular buffer ring

# PhD students

## Guillaume Bau
- Static analyser for Michelson based on [Mopsa](https://mopsa.lip6.fr/)
- Advisors from Nomadic: Mehdi Bouaziz, Vincent Botbol
- University Advisor (Paris 6): Antoine Miné

## Colin González
- Writing Smart-Contracts in spreadsheets
- Advisors at Nomadic: Yann Régis-Gianas and Benjamin Canou
- University Advisors (Paris 7): Adrien Guatto and Ralf Treinen

## Paul Laforgue
- Advisors at Nomadic: Zaynah Dargaye and Yann Régis-Gianas
- University advisors: Giuseppe Castagna and Giovanni Bernardi