Luca Andrea Cardelli
Original record- Institution
- The University of Edinburgh
- Year
- 1982
- Country
- United Kingdom
- MGP identifier
- 115506
Dissertation: An Algebraic Approach to Hardware Description and Verification
Advisor 1
- Gordon D. PlotkinThe University of Edinburgh · 1972
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Michael Austin Boemo | Not recorded | — | 0 |
| Alexander J. Summers | Imperial College London | 2009 | 0 |