gptkbp:instanceOf
|
gptkb:computer_scientist
|
gptkbp:almaMater
|
gptkb:University_of_Edinburgh
gptkb:University_of_Pisa
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Fellow_of_the_Royal_Society
gptkb:Royal_Society_Milner_Award
|
gptkbp:birthYear
|
1954
|
gptkbp:citizenship
|
gptkb:Italy
|
gptkbp:doctoralAdvisor
|
gptkb:Robin_Milner
|
gptkbp:employer
|
gptkb:Digital_Equipment_Corporation
gptkb:Microsoft_Research
gptkb:University_of_Oxford
|
gptkbp:field
|
gptkb:logic
gptkb:programming_language
computational biology
computer science
concurrency
|
https://www.w3.org/2000/01/rdf-schema#label
|
Luca Cardelli
|
gptkbp:knownFor
|
gptkb:Modula-3
gptkb:Ambient_calculus
gptkb:Polyphonic_C#
gptkb:ML_programming_language
work on programming languages
work on type systems
|
gptkbp:memberOf
|
gptkb:Royal_Society
|
gptkbp:nationality
|
gptkb:Italian
|
gptkbp:occupation
|
gptkb:academic
gptkb:computer_scientist
|
gptkbp:position
|
Professor of Computer Science at University of Oxford
Principal Researcher at Microsoft Research Cambridge
|
gptkbp:bfsParent
|
gptkb:Niklaus_Wirth
gptkb:Robin_Milner
gptkb:ACM_Grace_Murray_Hopper_Award
|
gptkbp:bfsLayer
|
5
|