Qi Qiu
Doctorant (accéder à la thèse)
| Équipe(s) | DRIM |
| Employeur | Université Claude Bernard Lyon 1 |
| Implantation | Nautibus (Université Lyon1) |
| Courriel | qi.qiu at liris.cnrs.fr |
| Thèse | Preuve formelle pour l’algorithmique distribuée : vers davantage d’automatisation (cliquer pour voir les détails) |