César Muñoz
Ph.D. Université Paris Diderot - Paris 7 1997
Dissertation:
Un calcul de substitutions pour la représentation de preuves partielles en théorie des types
Mathematics Subject Classification: 68—Computer science
Advisor 1: Gérard Pierre Huet
Advisor 2: Gilles Dowek
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Kirchner, Florent | École Polytechnique | 2007 | |
| Neron, Pierre | École Polytechnique | 2013 | |
| Borges Avelar, Andréia | Universidade de Brasília | 2014 | |
| Alves Almeida, Ariane | Universidade de Brasília | 2021 | |
| Ramos, Thiago | Universidade de Brasília | 2023 |
According to our current on-line database, César Muñoz has 5 students and 5 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 137174 for the advisor ID.