Pierre-Loïc Garoche Garoche
Original record- Institution
- Institut National Polytechnique de Toulouse
- Year
- 2008
- Country
- France
- MGP identifier
- 203816
Dissertation: Static Analysis of an Actor-based Process Calculus by Abstract Interpretation
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Patrick SalléInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Guillaume Davy | Université de Toulouse and Institut supérieur de l'aéronautique et de l'espace | 2018 | 0 |
| Paul Rousse | Institut supérieur de l'aéronautique et de l'espace | 2020 | 0 |