Paulo Henrique Monteiro Borba
Original record- Institution
- University of Oxford
- Year
- 1995
- Country
- United Kingdom
- MGP identifier
- 167336
Dissertation: Semantics and Refinement for a Concurrent Object Oriented Language
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Joseph Amadee Goguen Jr.University of California, Berkeley · 1968
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Rodrigo Bonifácio de Almeida | Universidade Federal de Pernambuco, Recife | 2010 | 0 |
| Vander Alves | Universidade Federal de Pernambuco, Recife | 2007 | 0 |
| Eduardo Aranha | Universidade Federal de Pernambuco, Recife | 2009 | 0 |
| Alberto Costa Neto | Universidade Federal de Pernambuco, Recife | 2010 | 0 |
| Rohit Gheyi | Universidade Federal de Pernambuco, Recife | 2007 | 3 |
| Tiago Massoni | Universidade Federal de Pernambuco, Recife | 2008 | 0 |
| Márcio de Medeiros Ribeiro | Universidade Federal de Pernambuco, Recife | 2012 | 5 |
| Sergio Soares | Universidade Federal de Pernambuco, Recife | 2004 | 0 |
| Leopoldo Motta Teixeira | Universidade Federal de Pernambuco, Recife | 2014 | 0 |