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