
Luca Cardelli
Use attributes for filter ! | |
Gender | Male |
---|---|
Born | Montecatini Terme |
Italy | |
Residence | Cambridge |
United Kingdom | |
Fields | Type theory |
Operational semantics | |
Awards | Fellow of the Royal Society |
Dahl–Nygaard Prize | |
ACM Fellow | |
Academic advisor | Gordon Plotkin |
Education | The University of Edinburgh |
School of Informatics | |
University of Pisa | |
H index | 80 |
Affiliations | University Of Oxford |
Interests | Theory Of Programming Languages |
Process Algebra | |
Systems Biology | |
Molecular Programming | |
Date of Reg. | |
Date of Upd. | |
ID | 677465 |
Luca Cardelli Life story
Luca Andrea Cardelli FRS is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics.