Qi Qiu
Former LIRIS member since: 2024-10-31
| Quality | PhD student |
| Team(s) | DRIM |
| Institution | Université Claude Bernard Lyon 1 |
| Thesis | Formal proof for distributed computing: towards more automation (click to view details) |
Laboratoire d'InfoRmatique en Image et Systèmes d'information
UMR 5205 CNRS / INSA Lyon / Université Claude Bernard Lyon 1 / Université Lumière Lyon 2 / École Centrale de Lyon