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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Alves Almeida, Ariane | Universidade de Brasília | 2021 | |
| Borges Avelar, Andréia | Universidade de Brasília | 2014 | |
| Kirchner, Florent | École Polytechnique | 2007 | |
| Neron, Pierre | École Polytechnique | 2013 | |
| 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.