Krysia B. Broda
Original record- Institution
- Imperial College London
- Year
- 1991
- Country
- United Kingdom
- MGP identifier
- 94392
Dissertation: The application of semantic tableaux with unification to automated deduction
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Dov M. GabbayHebrew University of Jerusalem · 1969
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Artur d'Avila Garcez | University of London | 2000 | 4 |
| Luke William Feidhlim Dickens | Imperial College London | 2010 | 1 |
| Timothy Kimber | Imperial College London | 2012 | 0 |
| Luís C. Lamb | Imperial College London | 2000 | 8 |
| Mark Law | Imperial College London | 2018 | 0 |
| Jiefei Ma | Imperial College London | 2012 | 0 |
| Sanjay Modgil | Imperial College London | 1998 | 2 |
| Rosli Bin Omar | University of London | 2000 | 0 |