Luca Cardelli - CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual 2nd-millennium birth Alumnus of the University of Edinburgh Fellow of the Association for Computing Machinery Living person DNA nanotechnology person Italian computer scientist Fellow of the Royal Society elected in 2005 Programming language researcher
rdfs:label	Luca Cardelli
owl:sameAs	dbr:Luca_Cardelli
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Italian_computer_scientists http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Dahl%E2%80%93Nygaard_Prize http://en.wikipedia.org/wiki/Digital_Equipment_Corporation http://en.wikipedia.org/wiki/Montecatini_Terme http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences) http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2005 http://en.wikipedia.org/wiki/University_of_Pisa http://en.wikipedia.org/wiki/SIGPLAN http://en.wikipedia.org/wiki/Department_of_Computer_Science,_University_of_Oxford http://en.wikipedia.org/wiki/Category:DNA_nanotechnology_people http://en.wikipedia.org/wiki/International_Society_for_Nanoscale_Science,_Computation,_and_Engineering http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/List_of_programming_language_researchers
skos:prefLabel	Luca Cardelli
skos:altLabel	Cardelli Cardelli, Luca
clgo:academicDiscipline	Type theory Operational semantics
clgo:award	Dahl–Nygaard Prize Association for Computing Machinery Fellow of the Royal Society
clgo:birthName	Luca Andrea Cardelli
clgo:birthPlace	Italy Montecatini Terme
clgo:doctoralAdvisor	Gordon Plotkin
clgo:institution	University of Edinburgh Digital Equipment Corporation Bell Labs Microsoft Research University of Oxford
clgo:knownFor	Martín Abadi
is clgo:designer of	Polyphonic C Sharp
is clgo:doctoralStudent of	Gordon Plotkin

About: clgr:Luca_Cardelli